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. 

• Carnap et les catégories
    Cahiers philosophiques, n° 161, pp. 27–40. (Link)
• Symbol and number
    Meta: Research in Hermeneutics, Phenomenology, and Practical Philosophy, vol 11(2) 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 | PDF)
• Carnap's turn to the thing language. 
    Philosophia scientiae, vol 22(3), pp. 179–198. (Link | PDF
• A road map of Dedekind's Theorem 66. 
    HOPOS, vol 8, pp. 241–277. (Link | PDF)
• 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. (LinkPreprint)
• A proof-theoretic account of the Miners Paradox. 
   Theoria, vol 82, pp. 351–369. (LinkPreprint)
• Identity and sortals (and Caesar). 
   Erkenntnis, vol 82, pp. 1–16. (LinkPreprint)
• Dedekind's logicism. 
   Philosophia Mathematica, vol 25, pp. 341–368. (Link | PDF)
• Form of apprehension and the content–apprehension model in Husserl's Logical Investigations. 
   Logical Analysis and History of Philosophy, vol 16. (PDF)
• Dedekind and Hilbert on the foundations of the deductive sciences. 
   Review of Symbolic Logic, vol 4, pp. 645–681. (PDF)
• Infinite time extensions of Kleene's O. 
   Archive for Mathematical Logic, vol 48, pp. 691–703. (PDF)


In Norwegian
• Review of Øystein Linnebo. Philosophy of Mathematics. Salongen.no
• Review of Gottlob Frege. Utvalgte TeksterSalongen.no

anstenklev ætt gmail.com

FLÚ AV ČR, Oddělení logiky
Jilská 1
Prague 1, 110 00