- On the Consistency of the Definable Tree Property on $\aleph_1$.Amir Leshem - 2000 - Journal of Symbolic Logic 65 (3):1204-1214.details
|
|
Canonical functions, non-regular ultrafilters and Ulam’s problem on ω1.Oliver Deiser & Dieter Donder - 2003 - Journal of Symbolic Logic 68 (3):713-739.details
|
|
Jonsson-like partition relations and j: V → V.Arthur W. Apter & Grigor Sargsyan - 2004 - Journal of Symbolic Logic 69 (4):1267-1281.details
|
|
Laver Indestructibility and the Class of Compact Cardinals.Arthur W. Apter - 1998 - Journal of Symbolic Logic 63 (1):149-157.details
|
|
Supercompactness and Measurable Limits of Strong Cardinals.Arthur W. Apter - 2001 - Journal of Symbolic Logic 66 (2):629-639.details
|
|
Foundations as truths which organize mathematics.Colin Mclarty - 2013 - Review of Symbolic Logic 6 (1):76-86.details
|
|
Zermelo and Set Theory. [REVIEW]Akihiro Kanamori - 2004 - Bulletin of Symbolic Logic 10 (4):487-553.details
|
|
Short Extenders Forcings I.Moti Gitik - 2012 - Journal of Mathematical Logic 12 (2):1250009.details
|
|
Abstracta and Possibilia: Hyperintensional Foundations of Mathematical Platonism.David Elohim - manuscriptdetails
|
|
Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.details
|
|
Global Reflection Principles.P. D. Welch - 2017 - In I. Niiniluoto, H. Leitgeb, P. Seppälä & E. Sober (eds.), Logic, Methodology and Philosophy of Science - Proceedings of the 15th International Congress, 2015. College Publications.details
|
|
31 A Divine Consistency Proof for Mathematics. Friedman - 2024 - In Mirosław Szatkowski (ed.), Ontology of Divinity. De Gruyter. pp. 645-696.details
|
|
Laver’s results and low-dimensional topology.Patrick Dehornoy - 2016 - Archive for Mathematical Logic 55 (1-2):49-83.details
|
|
Another use of set theory.Patrick Dehornoy - 1996 - Bulletin of Symbolic Logic 2 (4):379-391.details
|
|
Scales of minimal complexity in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${K(\mathbb{R})}$$\end{document}. [REVIEW]Daniel W. Cunningham - 2012 - Archive for Mathematical Logic 51 (3-4):319-351.details
|
|
A covering lemma for L(ℝ).Daniel W. Cunningham - 2002 - Archive for Mathematical Logic 41 (1):49-54.details
|
|
A covering lemma for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${K(\mathbb {R})}$$\end{document}. [REVIEW]Daniel W. Cunningham - 2007 - Archive for Mathematical Logic 46 (3-4):197-221.details
|
|
Diagonal Prikry extensions.James Cummings & Matthew Foreman - 2010 - Journal of Symbolic Logic 75 (4):1383-1402.details
|
|
On the universality of the nonstationary ideal.Sean D. Cox - 2018 - Mathematical Logic Quarterly 64 (1-2):103-117.details
|
|
Infinite Time Decidable Equivalence Relation Theory.Samuel Coskey & Joel David Hamkins - 2011 - Notre Dame Journal of Formal Logic 52 (2):203-228.details
|
|
The Axiom of Infinity and Transformations j: V → V.Paul Corazza - 2010 - Bulletin of Symbolic Logic 16 (1):37-84.details
|
|
Laver sequences for extendible and super-almost-huge cardinals.Paul Corazza - 1999 - Journal of Symbolic Logic 64 (3):963-983.details
|
|
Easton's theorem for Ramsey and strongly Ramsey cardinals.Brent Cody & Victoria Gitman - 2015 - Annals of Pure and Applied Logic 166 (9):934-952.details
|
|
Forcing a □(κ)-like principle to hold at a weakly compact cardinal.Brent Cody, Victoria Gitman & Chris Lambie-Hanson - 2021 - Annals of Pure and Applied Logic 172 (7):102960.details
|
|
Randomness via infinite computation and effective descriptive set theory.Merlin Carl & Philipp Schlicht - 2018 - Journal of Symbolic Logic 83 (2):766-789.details
|
|
Recognizable sets and Woodin cardinals: computation beyond the constructible universe.Merlin Carl, Philipp Schlicht & Philip Welch - 2018 - Annals of Pure and Applied Logic 169 (4):312-332.details
|
|
Killing them softly: degrees of inaccessible and Mahlo cardinals.Erin Kathryn Carmody - 2017 - Mathematical Logic Quarterly 63 (3-4):256-264.details
|
|
Constructing wadge classes.Raphaël Carroy, Andrea Medini & Sandra Müller - 2022 - Bulletin of Symbolic Logic 28 (2):207-257.details
|
|
Canonical Truth.Merlin Carl & Philipp Schlicht - 2022 - Axiomathes 32 (3):785-803.details
|
|
Uncountable structures are not classifiable up to bi-embeddability.Filippo Calderoni, Heike Mildenberger & Luca Motto Ros - 2019 - Journal of Mathematical Logic 20 (1):2050001.details
|
|
On middle box products and paracompact cardinals.David Buhagiar & Mirna Džamonja - 2024 - Annals of Pure and Applied Logic 175 (1):103332.details
|
|
Large cardinals and definable well-orders on the universe.Andrew D. Brooke-Taylor - 2009 - Journal of Symbolic Logic 74 (2):641-654.details
|
|
Indestructibility of Vopěnka’s Principle.Andrew D. Brooke-Taylor - 2011 - Archive for Mathematical Logic 50 (5-6):515-529.details
|
|
Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.details
|
|
The transzendenz of mathematical 'experience'.William Boos - 1998 - Synthese 114 (1):49-98.details
|
|
On singular stationarity II.Omer Ben-Neria - 2019 - Journal of Symbolic Logic 84 (1):320-342.details
|
|
On Cohen and Prikry Forcing Notions.Tom Benhamou & Moti Gitik - forthcoming - Journal of Symbolic Logic:1-47.details
|
|
Infinitesimal Probabilities.Vieri Benci, Leon Horsten & Sylvia Wenmackers - 2016 - British Journal for the Philosophy of Science 69 (2):509-552.details
|
|
Putnam and Constructibility.Luca Bellotti - 2005 - Erkenntnis 62 (3):395-409.details
|
|
Formalization, Syntax and the Standard Model of Arithmetic.Luca Bellotti - 2007 - Synthese 154 (2):199-229.details
|
|
Big Ramsey degrees in ultraproducts of finite structures.Dana Bartošová, Mirna Džamonja, Rehana Patel & Lynn Scow - 2024 - Annals of Pure and Applied Logic 175 (7):103439.details
|
|
The Weak Vopěnka Principle for Definable Classes of Structures.Joan Bagaria & Trevor M. Wilson - 2023 - Journal of Symbolic Logic 88 (1):145-168.details
|
|
Steel’s Programme: Evidential Framework, the Core and Ultimate- L.Joan Bagaria & Claudio Ternullo - 2023 - Review of Symbolic Logic 16 (3):788-812.details
|
|
On colimits and elementary embeddings.Joan Bagaria & Andrew Brooke-Taylor - 2013 - Journal of Symbolic Logic 78 (2):562-578.details
|
|
More on the Preservation of Large Cardinals Under Class Forcing.Joan Bagaria & Alejandro Poveda - 2023 - Journal of Symbolic Logic 88 (1):290-323.details
|
|
Generic large cardinals and systems of filters.Giorgio Audrito & Silvia Steila - 2017 - Journal of Symbolic Logic 82 (3):860-892.details
|
|
Absoluteness via resurrection.Giorgio Audrito & Matteo Viale - 2017 - Journal of Mathematical Logic 17 (2):1750005.details
|
|
V = L and intuitive plausibility in set theory. A case study.Tatiana Arrigoni - 2011 - Bulletin of Symbolic Logic 17 (3):337-360.details
|
|
The hyperuniverse program.Tatiana Arrigoni & Sy-David Friedman - 2013 - Bulletin of Symbolic Logic 19 (1):77-96.details
|
|