The axiom of choice as interaction brief remarks on the principle of dependent choices in a dialogical setting

2018

Shahid Rahman

in: The philosophers and mathematics, Berlin,

Demonstrations versus proofs, being an afterword to constructions, proofs, and the meaning of the logical Constants

2013

Göran Sundholm

in: Judgement and the epistemic foundation of logic, Berlin,

Truth and proof in intuitionism

2012

Dag Prawitz

in: Epistemology versus ontology, Berlin,

Real and ideal in constructive mathematics

2012

Giovanni Sambin

in: Epistemology versus ontology, Berlin,

Type theory and homotopy

2012

Steve Awodey

in: Epistemology versus ontology, Berlin,

Epistemology versus ontology

essays on the philosophy and foundations of mathematics in honour of per Martin-löf

2012

P. Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm (eds)

Berlin, Springer

Assertion and grounding

a theory of assertion for constructive type theory

2011

Maria van der Schaar

Synthese 183 (2)

The constructive Hilbert program and the limits of Martin-löf type theory

2009

Michael Rathjen

in: Logicism, intuitionism, and formalism, Berlin,

Proof theory and Martin-Löf type theory

2008

Anton Setzer

in: One hundred years of intuitionism (1907–2007), Berlin,

The constructive Hilbert program and the limits of Martin-löf type theory

2005

Michael Rathjen

Synthese 147 (1)