-
12Stefania Centrone, Deborah Kant, and Deniz Sarikaya, eds, Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory, and General ThoughtsPhilosophia Mathematica 30 (1): 88-102. 2022.
-
7Critical Studies/Book ReviewsPhilosophia Mathematica. forthcoming._Stefania Centrone, Deborah Kant_, and _Deniz Sarikaya_, eds, _ Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory, and General Thoughts _. Studies in Epistemology, Logic, Methodology, and Philosophy of Science; 407. Springer, 2019. Pp. xxviii + 494. ISBN: 978-3-030-15654-1 ; 978-3-030-15655-8. doi.org/10.1007/978-3-030-15655-8† †.
-
39Topos Semantics for Higher-Order Modal LogicLogique Et Analyse 228 591-636. 2014.We define the notion of a model of higher-order modal logic in an arbitrary elementary topos E. In contrast to the well-known interpretation of higher-order logic, the type of propositions is not interpreted by the subobject classifier ΩE, but rather by a suitable complete Heyting algebra H. The canonical map relating H and ΩE both serves to interpret equality and provides a modal operator on H in the form of a comonad. Examples of such structures arise from surjective geometric morphisms f : F …Read more
München, BY, Germany
Areas of Specialization
Logic and Philosophy of Logic |
Philosophy of Mathematics |