I am a postdoc in the Department of Logic in the Institute of Philosophy at the Czech Academy of Sciences in Prague, currently (2017--2020) funded by a grant from the Czech Science Foundation (GAČR). Before becoming a postdoc in Prague I wrote a PhD dissertation, Categories and Logical Syntax (PDF), at Leiden University under the supervision of Göran Sundholm. 

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, as well as in the works of Frege, Husserl, Carnap, Dedekind, etc. 

Publications 
 
• A road map of Dedekind's Theorem 66. (Link | PDF)
    HOPOS, vol 8, pp. 241--277. 
 
• A brief introduction to Martin-Löf's type theory. 
    In S. Rahman et al., Immanent Reasoning (Springer), pp. 17--55.  (Preprint | Link) Note: the PDF preprint is the recommended source.
 
• The logical form of identity criteria. (PDF)
    Logica Yearbook 2017 (College Publications), pp. 181--195
  
• 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. (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. (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)
 
Some forthcoming work
 
• Carnap's turn to the thing language. (PDF) 
    To appear in an issue of Philosophia scientiae devoted to the Paris 1935 conference on unified science.
 
 • A comparison of type theory with set theory. (PDF)
    To appear in Reflections on the Foundations of Mathematics (Springer), edited by D. Kant and D. Sarikaya.

In Norwegian
  
• Review of Øystein Linnebo. Philosophy of Mathematics. Salongen.no
• Review of Gottlob Frege. Utvalgte Tekster. Salongen.no
  
Talks, recent or upcoming
 
• The name of the sinus function.
     LOGICA 2018. Hejnice, 18-22 June, 2018.
 
• Definition by abstraction in Martin-Löf type theory.
    Varieties of Mathematical Abstraction. Vienna, 1-3 August, 2018. 
 
• Meaning explanations.
    Axiomatic Mathematics and Phenomenology. Bucharest, 3-4 September, 2018.


Contact
anstenklev ætt gmail.com

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