| Publication | Date of Publication | Type |
|---|
| A Natural Formalization of the Mutilated Checkerboard Problem in Naproche | 2023-06-20 | Paper |
| CICM'22 system entries | 2023-06-02 | Paper |
| Beautiful formalizations in Isabelle/Naproche | 2022-04-22 | Paper |
| The Isabelle/Naproche natural language proof assistant | 2021-12-01 | Paper |
| Characterizations of ITBM-computability. II | 2021-07-23 | Paper |
| Characterizations of ITBM-computability. I | 2021-05-20 | Paper |
| Interpreting mathematical texts in Naproche-SAD | 2021-01-20 | Paper |
| An Easton-like Theorem for Zermelo-Fraenkel Set Theory with the Axiom of Dependent Choice | 2018-12-03 | Paper |
| Singularizing successor cardinals by forcing | 2017-12-08 | Paper |
| The computational power of infinite time Blum-Shub-Smale machines | 2017-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5271424 | 2017-07-11 | Paper |
| An Easton-like theorem for Zermelo-Fraenkel Set Theory without Choice | 2016-07-01 | Paper |
| All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters | 2016-06-24 | Paper |
| The first measurable cardinal can be the first uncountable regular cardinal at any successor height | 2014-12-05 | Paper |
| Violating the singular cardinals hypothesis without large cardinals | 2013-11-01 | Paper |
| Transition of Consistency and Satisfiability under Language Extensions | 2013-10-08 | Paper |
| The Gödel Completeness Theorem for Uncountable Languages | 2013-10-08 | Paper |
| An Easton-like Theorem for Zermelo-Fraenkel Set Theory Without Choice (Preliminary Report) | 2013-08-07 | Paper |
| A minimal Prikry-type forcing for singularizing a measurable cardinal | 2013-04-23 | Paper |
| Towards a Theory of Infinite Time Blum-Shub-Smale Machines | 2012-08-14 | Paper |
| Global square and mutual stationarity at the \(\aleph_n\) | 2011-09-22 | Paper |
| A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0 | 2011-09-09 | Paper |
| Parsing and Disambiguation of Symbolic Mathematics in the Naproche System | 2011-07-29 | Paper |
| The consistency strength of choiceless failures of SCH | 2010-10-04 | Paper |
| Premise Selection in the Naproche System | 2010-09-14 | Paper |
| Ordinal Computability | 2010-07-28 | Paper |
| The basic theory of infinite time register machines | 2010-03-02 | Paper |
| Ordinal machines and admissible recursion theory | 2009-10-26 | Paper |
| Making all cardinals almost Ramsey | 2008-11-17 | Paper |
| Register computations on ordinals | 2008-09-12 | Paper |
| An Enhanced Theory of Infinite Time Register Machines | 2008-06-19 | Paper |
| Minimality considerations for ordinal computers modeling constructibility | 2008-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3437623 | 2007-05-09 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Forcing a mutual stationarity property in cofinality 𝜔₁ | 2007-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425068 | 2007-03-05 | Paper |
| Ordinal computations | 2007-02-09 | Paper |
| The consistency strength of \(\aleph_\omega\) and \(\aleph_{\omega_1}\) being Rowbottom cardinals without the axiom of choice | 2006-09-26 | Paper |
| Hyperfine structure theory and gap 1 morasses | 2006-08-03 | Paper |
| Turing Computations On Ordinals | 2006-02-08 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| Homogeneously Souslin sets in small inner models | 2006-01-10 | Paper |
| The Theory of Sets of Ordinals | 2005-02-13 | Paper |
| The category of inner models | 2003-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934560 | 2000-06-29 | Paper |
| Extenders, embedding normal forms, and the Martin-Steel-theorem | 1999-06-27 | Paper |
| An Elementary Approach to the Fine Structure of L | 1998-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837731 | 1997-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885261 | 1996-09-03 | Paper |
| Superatomic Boolean algebras constructed from morasses | 1996-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3995709 | 1992-09-17 | Paper |
| On the elimination of Malitz quantifiers over Archimedian real closed fields | 1989-01-01 | Paper |
| On the free subset property at singular cardinals | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732464 | 1989-01-01 | Paper |
| Some applications of short core models | 1988-01-01 | Paper |
| Some Stationary Subsets of (λ) | 1988-01-01 | Paper |
| The consistency strength of the free-subset property for ωω | 1984-01-01 | Paper |
| On the consistency strength of accessible Jonsson cardinals and of the weak Chang conjecture | 1983-01-01 | Paper |
