| Level Theory, Part 1: Axiomatizing the Bare Idea of a Cumulative Hierarchy of Sets The Bulletin of Symbolic Logic, vol. 27 (2021), no. 4 |
Tim Button |
Neil Barton |
2025-12-00 |
| Impredicativity and paradox. Thought, vol. 8 (2019), no. 3 |
Gabriel Uzquiano |
Ludovica Conti |
2025-12-00 |
| Handbook of Computability and Complexity in Analysis |
Vasco Brattka |
Diego A. Rojas |
2025-12-00 |
| Polymorphism and the obstinate circularity of second order logic: A victim's tale The Bulletin of Symbolic Logic vol. 51 |
Paolo Pistone |
Jann Paul Engler |
2025-09-00 |
| Modern Mathematical Logic |
Joseph Mileti |
Henry Towsner |
2025-09-00 |
| Introduction to Proofs and Proof Strategies |
Shay Fuchs |
Wesley Calvert |
2025-06-00 |
| The Logic of Entailment and its History |
Edwin Mares |
Tore Fjetland Øgaard |
2024-09-00 |
| Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Studia Logica, vol. 107 |
Thomas Piecha |
Will Stafford |
2024-09-00 |
| Fragmenting Reality: An Essay on Passage, Causality and Time |
Samuele Iaquinto |
Lorenzo Azzano |
2024-09-00 |
| Complexity of Infinite-Domain Constraint Satisfaction. Lecture Notes in Logic, vol. 52 |
Manuel Bodirsky |
Andrei Krokhin |
2024-09-00 |
| An Invitation to Model Theory |
Johnathan Kirby |
A. Martin-pizarro |
2024-09-00 |
| Compactness of 𝜔₁ and Strong Axioms of Determinacy |
N. Trang |
Takehiko Gappo |
2024-06-00 |
| Mathematics and Explanation. Elements in the Philosophy of Mathematics |
Christopher Pincock |
Daniele Molinini |
2024-06-00 |
| Pluralities as Nothing Over and Above |
Sam Roberts |
Gabriel Uzquiano |
2024-03-00 |
| Reverse Mathematics: Problems, Reductions, and Proofs |
D. D. Dzhafarov |
Chris J. Conidis |
2023-12-00 |
| Logic, Automata, and Computational Complexity: The Works Of Stephen A. Cook |
Bruce M. Kapron |
Pavel Pudlák |
2023-12-00 |
| HOD as a Core Model. Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III |
John Steel |
Derek Levinson |
2023-12-00 |
| Three Papers on Recent Work on Meta-validity |
David Ripley |
Chris Scambler |
2023-09-00 |
| Philosophical Logic: A Contemporary Introduction |
John MacFarlane |
Bruno Bentzen |
2023-09-00 |
| Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170 |
Jan Krajicek |
Moritz Müller |
2023-06-00 |
| Beyond Uncertainty: Reasoning with Unknown Possibilities. Elements in Decision Theory and Philosophy |
Katie Steele |
Magdalen Elmitt |
2023-06-00 |
| The complexity of the homeomorphism relation between compact metric spaces. Advances in Mathematics |
Joseph Zielinski |
Iian B. Smythe |
2021-06-00 |
| An introduction to combinatorics of determinacy, Trends in Set Theory, Contemporary Mathematics, vol. 752 |
William Chan |
Thilo Weinert |
2021-03-00 |
| Philosophy and Model Theory |
T. Button |
Andrew Arana |
2020-09-00 |
| Inverse limit reflection and the structure of L(Vλ+1). Journal of Mathematical Logic, vol. 15 |
Scott S. Cramer |
Xianghui Shi |
2020-06-00 |
| Four papers on the large cardinal strength of PFA via core model induction |
J. Steel |
Sandra Müller |
2020-03-00 |
| Proof-theoretic semantics |
N. Francez |
Davide Catta |
2019-09-00 |
| Subsets coded in elementary end extensions. Archive for Mathematical Logic, vol. 53 |
J.h. Schmerl |
Athar Abdul-quader |
2019-03-00 |
| Borel circle squaring |
Andrew Marks |
Aleksandra Kwiatkowska |
2018-12-00 |
| Model theory, Keisler measures, and groups |
Ehud Hrushovski |
Artem Chernikov |
2018-09-00 |
| Reverse Mathematics: Proofs from the Inside Out |
J. Stillwell |
Jeffry L. Hirst |
2018-06-00 |
| Philosophy of Mathematics |
James Robert Brown |
Janet Folina |
2018-06-00 |
| Ontology without Borders |
J. Azzouni |
Nathaniel Gan |
2018-06-00 |
| Algebra, selections and additive Ramsey theory |
B. Tsaban |
Rodrigo R. Dias |
2018-06-00 |
| Flag algebras. Journal of Symbolic Logic, vol. 72 RazborovAlexander |
Alexander Razborov |
James Cummings |
2018-03-00 |
| Descriptive Complexity, Canonisation, and Definable Graph Structure Theory Grohe M. |
M. Grohe |
Luc Segoufin |
2017-12-00 |
| A bound on measurable chromatic numbers of locally finite Borel graphs. Mathematical Research Letters ConleyC. T. MillerB.D. |
C. T. Conley |
Anush Tserunyan |
2017-09-00 |
| Two papers on metrizable universal minimal flows |
I. Ben Yaacov |
Martino Lupini |
2017-06-00 |
| Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58 Stéphane Demri Valentin Goranko Martin Lange |
Stéphane Demri |
Kamal Lodaya |
2017-06-00 |
| Three papers related to the Mitchell order |
Omer Ben-neria |
Sean D. Cox |
2017-03-00 |
| Three Papers of Maryanthe Malliaris and Saharon Shelah |
Maryanthe Malliaris |
H. Jerome Keisler |
2017-03-00 |
| Turing Computability |
Robert I. Soare |
Damir D. Dzhafarov |
2017-03-00 |
| O-Minimality and Diophantine Geometry. London Mathematical Society Lecture Note Series, vol. 421 G.O. Jones A.J. Wilkie |
G.o. Jones |
Antoine Chambert-Loir |
2017-03-00 |
| Unity and Plurality: Logic, Philosophy, and Linguistics M. Carrara A. Arapinis F. Moltmann |
M. Carrara |
Eric Snyder |
2016-12-00 |
| The metamathematics of Stable Ramsey's Theorem for Pairs. Journal of the American Mathematical Society, vol. 27, no. 3 C. T. Chong Theodore A. Slaman Yue Yang |
C. T. Chong |
Denis R. Hirschfeldt |
2016-12-00 |
| HOD as a core model, Ordinal Definability and Recursion Theory: The Cabal Seminar, vol. III, Lectue Notes in Logic 43 John R. Steel W. Hugh Woodin A. S. Kechris B. Löwe J. R. Steel |
John R. Steel |
Ernest Schimmerling |
2016-12-00 |
| Gentzen's Centenary: The Quest for Consistency Reinhard Kahle Michael Rathjen |
Reinhard Kahle |
Henry Towsner |
2016-12-00 |
| The Once and Future Turing: Computing the World S. Barry Cooper Andrew Hodges |
S. Barry Cooper |
Alasdair Urquhart |
2016-09-00 |
| Set Theory, Studies in Logic: Mathematical Logic and Foundations, Vol. 34 |
Kenneth Kunen |
David Milovich |
2016-09-00 |
| Introduction to Sofic and Hyperlinear Groups and Connes' Embedding Conjecture, Lecture Notes in Mathematics, vol. 2136 Valerio Capraro Martino Lupini |
Valerio Capraro |
Lewis Bowen |
2016-09-00 |
