| Publication | Date of Publication | Type |
|---|
Boris Zilber and the model-theoretic sublime
Model Theory | 2024-08-27 | Paper |
Juliet Floyd and Felix Mühlhölzer.Wittgenstein’s Annotations to Hardy’s Course of Pure Mathematics: An Investigation of Wittgenstein’s Non-Extensionalist Understanding of the Real Numbers
Philosophia Mathematica | 2022-07-21 | Paper |
| Gödel's incompleteness theorems | 2022-05-16 | Paper |
LOGICALITY AND MODEL CLASSES
The Bulletin of Symbolic Logic | 2022-03-01 | Paper |
Inner models from extended logics. I
Journal of Mathematical Logic | 2021-10-18 | Paper |
Logicality and Model Classes
(available as arXiv preprint) | 2021-06-25 | Paper |
| Gödel, Tarski and the lure of natural language. Logical entanglement, formalism freeness | 2020-11-16 | Paper |
Inner Models from Extended Logics: Part 1
(available as arXiv preprint) | 2020-07-21 | Paper |
On the “Logic without Borders” Point of View
Logic Without Borders | 2020-02-03 | Paper |
| Squeezing arguments and strong logics | 2018-10-15 | Paper |
| Gödel's reception of Turing's model of computability: the shift of perception in 1934 | 2017-08-04 | Paper |
| Gödel's 1946 Princeton bicentennial lecture: an appreciation | 2016-01-27 | Paper |
| scientific article; zbMATH DE number 6536292 (Why is no real title available?) | 2016-01-27 | Paper |
Regular ultrapowers at regular cardinals
Notre Dame Journal of Formal Logic | 2015-09-29 | Paper |
Book review of: M. Penelope, Defending the axioms: on the philosophical foundations of set theory
The Bulletin of Symbolic Logic | 2014-10-21 | Paper |
On formalism freeness: implementing Gödel's 1946 Princeton bicentennial lecture
The Bulletin of Symbolic Logic | 2014-01-17 | Paper |
| Gödel's thesis: an appreciation | 2013-10-29 | Paper |
| Introduction | 2012-03-02 | Paper |
| scientific article; zbMATH DE number 5859785 (Why is no real title available?) | 2011-03-02 | Paper |
Regular ultrafilters and finite square principles
Journal of Symbolic Logic | 2009-03-23 | Paper |
“Gödel’s Modernism: On Set-Theoretic Incompleteness,” Revisited
Synthese Library | 2009-03-12 | Paper |
| Applications of regular filters and square principles in model theory | 2008-02-11 | Paper |
| scientific article; zbMATH DE number 2208069 (Why is no real title available?) | 2005-09-26 | Paper |
More on regular reduced products
Journal of Symbolic Logic | 2005-08-29 | Paper |
On the Philosophical Development of Kurt Gödel
The Bulletin of Symbolic Logic | 2005-02-09 | Paper |
On the Philosophical Development of Kurt Gödel
The Bulletin of Symbolic Logic | 2005-02-09 | Paper |
On embedding models of arithmetic of cardinality \aleph1into reduced powers
Fundamenta Mathematicae | 2003-01-28 | Paper |
On regular reduced products
Journal of Symbolic Logic | 2002-11-27 | Paper |
Inner Models from Extended Logics: Part 2
(available as arXiv preprint) | N/A | Paper |
