I am a researcher (vědecký pracovník) in the Department of Logic in the Institute of Philosophy at the Czech Academy of Sciences in Prague. Before moving to Prague, I wrote a PhD dissertation, Categories and Logical Syntax (PDF), at Leiden University under the supervision of Göran Sundholm. Besides Leiden, I have studied in Oslo, Amsterdam, and Montreal.
My main research interests are in the philosophy and history of logic and mathematics. I am especially interested in Martin-Löf's type theory and the philosophy connected therewith. Anyone with a similar interest may want to consult this repository of transcriptions.
The Axiom of Choice is false intuitionistically (in most contexts). Bulletin of Symbolic Logic, vol 29, pp. 71–96. (Open access link). Co-authored with David McCarty and Stewart Shapiro.
Identity in Martin-Löf type theory. Philosophy Compass, vol 17(2), e12805. (Preprint | Link). Note: the preprint is the recommended source.
Carnap et les catégories. Cahiers philosophiques, n° 161, pp. 27–40. (Proofs | Link)
Symbol and number. Meta: Research in Hermeneutics, Phenomenology, and Practical Philosophy, vol 11(2), pp. 640–658. (Link)
A comparison of type theory with set theory. Reflections on the Foundations of Mathematics (Springer), edited by S. Centrone, D. Kant and D. Sarikaya, pp. 271–292. (Link | Preprint)
Eta-rules in Martin-Löf type theory. Bulletin of Symbolic Logic, vol 25, pp. 333–359. (Link | Preprint)
The name of the sinus function. Logica Yearbook 2018 (College Publications), pp. 149–159. (PDF)
The harmony of identity. Journal of Philosophical Logic, vol 48, pp. 867-884. (Link | Preprint)
Carnap's turn to the thing language. Philosophia scientiae, vol 22(3), pp. 179–198. (Link | Preprint)
A road map of Dedekind's Theorem 66. HOPOS, vol 8, pp. 241–277. (Link | Preprint)
A brief introduction to constructive type theory. In S. Rahman et al., Immanent Reasoning (Springer), pp. 17–55. (Preprint | Link) Note: the preprint is the recommended source.
The logical form of identity criteria. Logica Yearbook 2017 (College Publications), pp. 181–195. (PDF)
The concept horse is a concept. Review of Symbolic Logic, vol 11, pp. 547–572. (Link | Preprint)
Husserl's logical grammar. History and Philosophy of Logic, vol 39, pp. 232–269. (Link | Preprint)
Husserl and Carnap on regions and formal categories. Essays on Husserl's Logic and Philosophy of Mathematics (Springer), ed. S. Centrone, pp. 409–429. (Preprint | Link)
The justification of identity elimination in Martin-Löf's type theory. Topoi, vol 38, pp. 577–590. (Preprint | Link)
Truthmaker semantics: Fine versus Martin-Löf. Logica Yearbook 2016 (College Publications), pp. 87–108. (PDF)
Carnap on unified science. Studies in History and Philosophy of Science, vol 59, pp. 53–67. (Link | Preprint)
A proof-theoretic account of the Miners Paradox. Theoria, vol 82, pp. 351–369. (Link | Preprint)
Identity and sortals (and Caesar). Erkenntnis, vol 82, pp. 1–16. (Link | Preprint)
Dedekind's logicism. Philosophia Mathematica, vol 25, pp. 341–368. (Link | Preprint)
Form of apprehension and the content–apprehension model in Husserl's Logical Investigations. Logical Analysis and History of Philosophy, vol 16, pp. 49–.69. (Preprint)
Dedekind and Hilbert on the foundations of the deductive sciences. Review of Symbolic Logic, vol 4, pp. 645–681. (Link | Preprint)
Infinite time extensions of Kleene's O. Archive for Mathematical Logic, vol 48, pp. 691–703. (Link)
Mattthias Wille. Gottlob Frege und der posthume Ruhm and Gottlob Frege wider den Zeitgeist (double review). Philosophia Mathematica, vol 28, pp. 426–430. (Link | Preprint)
Øystein Linnebo. Philosophy of Mathematics. Salongen.no
Gottlob Frege. Utvalgte Tekster. Salongen.no
anstenklev ætt gmail.com