Per Martin-Löf
articles X
9 Publications
The axiom of choice as interaction brief remarks on the principle of dependent choices in a dialogical setting
2018
in: The philosophers and mathematics, Berlin,
Demonstrations versus proofs, being an afterword to constructions, proofs, and the meaning of the logical Constants
2013
in: Judgement and the epistemic foundation of logic, Berlin,
Assertion and grounding
a theory of assertion for constructive type theory
2011
Synthese 183 (2)
The constructive Hilbert program and the limits of Martin-löf type theory
2009
in: Logicism, intuitionism, and formalism, Berlin,
Proof theory and Martin-Löf type theory
2008
in: One hundred years of intuitionism (1907–2007), Berlin,
The constructive Hilbert program and the limits of Martin-löf type theory
2005
Synthese 147 (1)
9 Publications