| Publication | Date of Publication | Type |
|---|
Feferman's completeness theorem
The Bulletin of Symbolic Logic | 2025-11-18 | Paper |
Intuitionistic sets and numbers: small set theory and Heyting arithmetic
Archive for Mathematical Logic | 2025-02-18 | Paper |
Constructing the constructible universe constructively
Annals of Pure and Applied Logic | 2024-01-08 | Paper |
Well ordering principles for iterated \(\Pi^1_1\)-comprehension
Selecta Mathematica. New Series | 2023-10-30 | Paper |
The Art of Measuring the Strength of Theories
Notices of the American Mathematical Society | 2023-10-16 | Paper |
An Introduction to Intuitionistic Logic
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
An Introduction to Constructive Set Theory: An Appetizer
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
Domain Theory and Realisability over Scott’s <i>D</i><sub>∞</sub> in Constructive Set Theory
Mathematics for Computation (M4C) | 2023-08-04 | Paper |
No Speedup for Geometric Theories
Mathematics for Computation (M4C) | 2023-08-04 | Paper |
Choice and independence of premise rules in intuitionistic set theory
Annals of Pure and Applied Logic | 2023-07-26 | Paper |
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
Logical Methods in Computer Science | 2023-01-09 | Paper |
Well-Ordering Principles in Proof Theory and Reverse Mathematics
Axiomatic Thinking II | 2022-12-13 | Paper |
| Kreisel-L\'evy-type theorems for Kripke-Platek and other set theories | 2022-12-06 | Paper |
Boundedness theorems for flowers and sharps
Proceedings of the American Mathematical Society | 2022-07-08 | Paper |
Minimal bad sequences are necessary for a uniform Kruskal theorem
Advances in Mathematics | 2022-04-14 | Paper |
| Admissible extensions of subtheories of second order arithmetic | 2022-02-07 | Paper |
On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
Ackermann and Goodstein go functorial
Pacific Journal of Mathematics | 2021-10-19 | Paper |
Ackermann and Goodstein go functorial
Pacific Journal of Mathematics | 2021-10-19 | Paper |
scientific article; zbMATH DE number 7379292 (Why is no real title available?)
(available as arXiv preprint) | 2021-08-05 | Paper |
Lifschitz realizability as a topological construction
Journal of Symbolic Logic | 2021-04-15 | Paper |
Lifschitz realizability as a topological construction
Journal of Symbolic Logic | 2021-04-15 | Paper |
Extensional realizability for intuitionistic set theory
Journal Of Logic And Computation | 2021-04-09 | Paper |
Derivatives of normal functions in reverse mathematics
Annals of Pure and Applied Logic | 2020-12-15 | Paper |
Ackermann and Goodstein go functorial
(available as arXiv preprint) | 2020-11-06 | Paper |
Well-Ordering Principles in Proof Theory and Reverse Mathematics
(available as arXiv preprint) | 2020-10-23 | Paper |
On Relating Theories: Proof-Theoretical Reduction
Mathesis Universalis, Computability and Proof | 2020-08-10 | Paper |
Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory
Advances in Proof Theory | 2020-08-07 | Paper |
Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory
Advances in Proof Theory | 2020-08-07 | Paper |
Upper bounds on the graph minor theorem
Trends in Logic | 2020-07-08 | Paper |
| A note on the ordinal analysis of \(\mathrm{RCA}_0+\mathrm{WO}(\mathbf{\sigma})\) | 2020-05-12 | Paper |
Power Kripke-Platek set theory and the axiom of choice
Journal Of Logic And Computation | 2020-04-29 | Paper |
Remarks on Barr's theorem: proofs in geometric theories
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-03 | Paper |
Proof theory of constructive systems: inductive types and univalence
Outstanding Contributions to Logic | 2020-02-05 | Paper |
Minimal bad sequences are necessary for a uniform Kruskal theorem
(available as arXiv preprint) | 2020-01-17 | Paper |
| The independence of premise rule in intuitionistic set theories | 2019-11-18 | Paper |
Preservation of choice principles under realizability
Logic Journal of the IGPL | 2019-11-04 | Paper |
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
(available as arXiv preprint) | 2019-05-28 | Paper |
The scope of Feferman's semi-intuitionistic set theories and his second conjecture
Indagationes Mathematicae. New Series | 2019-05-02 | Paper |
Power Kripke-Platek set theory and the axiom of choice
(available as arXiv preprint) | 2018-01-05 | Paper |
Well-ordering principles and bar induction
Gentzen's Centenary | 2017-09-27 | Paper |
Goodstein's theorem revisited
Gentzen's Centenary | 2017-09-27 | Paper |
Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
Archive for Mathematical Logic | 2017-09-15 | Paper |
Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
Archive for Mathematical Logic | 2017-09-15 | Paper |
An order-theoretic characterization of the Howard-Bachmann-hierarchy
Archive for Mathematical Logic | 2017-02-24 | Paper |
| Classifying the provably total set functions of KP and KP(P) | 2016-10-07 | Paper |
Indefiniteness in semi-intuitionistic set theories: on a conjecture of Feferman
Journal of Symbolic Logic | 2016-08-19 | Paper |
| scientific article; zbMATH DE number 6536275 (Why is no real title available?) | 2016-01-27 | Paper |
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
Epistemology versus Ontology | 2015-06-05 | Paper |
Well-partial-orderings and the big Veblen number
Archive for Mathematical Logic | 2015-02-23 | Paper |
| Formal Baire space in constructive set theory | 2014-06-24 | Paper |
Relativized ordinal analysis: the case of power Kripke-Platek set theory
Annals of Pure and Applied Logic | 2014-01-13 | Paper |
Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
Annals of Pure and Applied Logic | 2013-12-10 | Paper |
Realizability Models Separating Various Fan Theorems
Lecture Notes in Computer Science | 2013-08-05 | Paper |
Slow consistency
Annals of Pure and Applied Logic | 2013-02-19 | Paper |
Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
Archive for Mathematical Logic | 2013-02-04 | Paper |
The Friedman-Sheard programme in intuitionistic logic
The Journal of Symbolic Logic | 2012-09-19 | Paper |
The Friedman-Sheard programme in intuitionistic logic
The Journal of Symbolic Logic | 2012-09-19 | Paper |
From the weak to the strong existence property
Annals of Pure and Applied Logic | 2012-09-06 | Paper |
| Reverse mathematics and well-ordering principles | 2012-09-05 | Paper |
Ordinal analysis and the infinite Ramsey theorem
Lecture Notes in Computer Science | 2012-08-14 | Paper |
| Investigations of subsystems of second order arithmetic and set theory in strength between \(\Pi^1_1\)-CA and \(\Delta^1_2\)-\(\text{CA}+\text{BI}\). I | 2011-03-09 | Paper |
An ordinal analysis for theories of self-referential truth
Archive for Mathematical Logic | 2010-03-02 | Paper |
A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
Archive for Mathematical Logic | 2010-03-02 | Paper |
Reverse mathematics and well-ordering principles: a pilot study
Annals of Pure and Applied Logic | 2009-10-26 | Paper |
The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory
Synthese Library | 2009-03-12 | Paper |
On the constructive Dedekind reals
Logic and Analysis | 2009-02-11 | Paper |
| Metamathematical properties of intuitionistic set theories with choice principles | 2008-04-29 | Paper |
The natural numbers in constructive set theory
Mathematical Logic Quarterly | 2008-03-07 | Paper |
| The formulae-as-classes interpretation of constructive set theory | 2008-01-14 | Paper |
On the Constructive Dedekind Reals: Extended Abstract
Logical Foundations of Computer Science | 2008-01-04 | Paper |
Theories and Ordinals: Ordinal Analysis
Lecture Notes in Computer Science | 2007-11-13 | Paper |
| Constructive set theory and Brouwerian principles | 2007-10-15 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
| scientific article; zbMATH DE number 5064954 (Why is no real title available?) | 2006-10-17 | Paper |
| scientific article; zbMATH DE number 5057388 (Why is no real title available?) | 2006-09-26 | Paper |
The disjunction and related properties for constructive Zermelo-Fraenkel set theory
Journal of Symbolic Logic | 2006-09-06 | Paper |
A note on Bar Induction in Constructive Set Theory
Mathematical Logic Quarterly | 2006-08-30 | Paper |
Theories and ordinals in proof theory
Synthese | 2006-08-18 | Paper |
Characterizing the interpretation of set theory in Martin-Löf type theory
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
| Realizability for constructive Zermelo-Fraenkel set theory | 2006-07-03 | Paper |
The constructive Hilbert program and the limits of Martin-Löf type theory
Synthese | 2006-02-08 | Paper |
| scientific article; zbMATH DE number 2247249 (Why is no real title available?) | 2006-01-16 | Paper |
Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
Annals of Pure and Applied Logic | 2005-09-22 | Paper |
An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
Archive for Mathematical Logic | 2005-05-13 | Paper |
| scientific article; zbMATH DE number 2152234 (Why is no real title available?) | 2005-04-04 | Paper |
An ordinal analysis of stability
Archive for Mathematical Logic | 2005-02-22 | Paper |
| scientific article; zbMATH DE number 2051383 (Why is no real title available?) | 2004-03-07 | Paper |
On the regular extension axiom and its variants
MLQ | 2003-11-10 | Paper |
Realizing Mahlo set theory in type theory
Archive for Mathematical Logic | 2003-09-16 | Paper |
A note on the \(\Sigma_1\) spectrum of a theory
Archive for Mathematical Logic | 2003-09-16 | Paper |
| scientific article; zbMATH DE number 1870425 (Why is no real title available?) | 2003-02-18 | Paper |
Kripke-Platek set theory and the anti-foundation axiom
Mathematical Logic Quarterly (MLQ) | 2003-01-13 | Paper |
Inaccessible set axioms may have little consistency strength
Annals of Pure and Applied Logic | 2002-08-22 | Paper |
The strength of Martin-Löf type theory with a superuniverse. II
Archive for Mathematical Logic | 2002-03-03 | Paper |
The strength of Martin-Löf type theory with a superuniverse. I
Archive for Mathematical Logic | 2001-01-23 | Paper |
| scientific article; zbMATH DE number 1390277 (Why is no real title available?) | 2000-10-25 | Paper |
| scientific article; zbMATH DE number 1420853 (Why is no real title available?) | 2000-09-20 | Paper |
Explicit mathematics with the monotone fixed point principle. II: Models
Journal of Symbolic Logic | 2000-02-10 | Paper |
Inaccessibility in constructive set theory and type theory
Annals of Pure and Applied Logic | 1999-11-23 | Paper |
| scientific article; zbMATH DE number 1136111 (Why is no real title available?) | 1999-09-21 | Paper |
Explicit mathematics with the monotone fixed point principle
Journal of Symbolic Logic | 1999-05-16 | Paper |
On the proof-theoretic strength of monotone induction in explicit mathematics
Annals of Pure and Applied Logic | 1997-11-04 | Paper |
Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems
The Bulletin of Symbolic Logic | 1997-02-09 | Paper |
Monotone inductive definitions in explicit mathematics
Journal of Symbolic Logic | 1996-11-04 | Paper |
| scientific article; zbMATH DE number 733387 (Why is no real title available?) | 1996-03-17 | Paper |
The Recursively Mahlo Property in Second Order Arithmetic
Mathematical Logic Quarterly | 1996-03-06 | Paper |
The strength of some Martin-Löf type theories
Archive for Mathematical Logic | 1995-08-27 | Paper |
Proof theory of reflection
Annals of Pure and Applied Logic | 1995-06-07 | Paper |
Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
Archive for Mathematical Logic | 1995-01-23 | Paper |
How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
Mathematical Logic Quarterly | 1995-01-03 | Paper |
| scientific article; zbMATH DE number 432707 (Why is no real title available?) | 1994-07-07 | Paper |
Proof-theoretic investigations on Kruskal's theorem
Annals of Pure and Applied Logic | 1993-05-16 | Paper |
A proof-theoretic characterization of the primitive recursive set functions
Journal of Symbolic Logic | 1993-04-01 | Paper |
| scientific article; zbMATH DE number 108324 (Why is no real title available?) | 1993-01-23 | Paper |
The role of parameters in bar rule and bar induction
Journal of Symbolic Logic | 1992-06-27 | Paper |
Proof-theoretic analysis of KPM
Archive for Mathematical Logic | 1991-01-01 | Paper |
Ordinal notations based on a weakly Mahlo cardinal
Archive for Mathematical Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4079410 (Why is no real title available?) | 1988-01-01 | Paper |
