Ansten Klev

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.


  • 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) 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. (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 | PDF)

  • 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.

  • Gottlob Frege. Utvalgte Tekster.


anstenklev ætt