- What new axioms could not be.Kai Hauser - 2002 - Dialectica 56 (2):109–124.details
|
|
Perception, Intuition, and Reliability.Kai Hauser & Tahsİn Öner - 2018 - Theoria 84 (1):23-59.details
|
|
Is Cantor's continuum problem inherently vague?Kai Hauser - 2002 - Philosophia Mathematica 10 (3):257-285.details
|
|
Gödel's program revisited part I: The turn to phenomenology.Kai Hauser - 2006 - Bulletin of Symbolic Logic 12 (4):529-590.details
|
|
A teoria cantoriana dos números transfinitos: sua relação com o pensamento analógico-geométrico.Walter Gomide - 2016 - Veritas – Revista de Filosofia da Pucrs 61 (2):337-349.details
|
|
Strange ultrafilters.Moti Gitik - 2019 - Archive for Mathematical Logic 58 (1-2):35-52.details
|
|
Short Extenders Forcings I.Moti Gitik - 2012 - Journal of Mathematical Logic 12 (2):1250009.details
|
|
On Restrictions of Ultrafilters From Generic Extensions to Ground Models.Moti Gitik & Eyal Kaplan - 2023 - Journal of Symbolic Logic 88 (1):169-190.details
|
|
Ramsey-like cardinals II.Victoria Gitman & P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):541-560.details
|
|
No bound for the first fixed point.Moti Gitik - 2005 - Journal of Mathematical Logic 5 (02):193-246.details
|
|
Ramsey-like cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.details
|
|
Indestructibility properties of Ramsey and Ramsey-like cardinals.Victoria Gitman & Thomas A. Johnstone - 2022 - Annals of Pure and Applied Logic 173 (6):103106.details
|
|
Distinct volume subsets via indiscernibles.William Gasarch & Douglas Ulrich - 2019 - Archive for Mathematical Logic 58 (3-4):469-483.details
|
|
Theoriegeleitete Bestimmung von Objektmengen und Beobachtungsintervallen am Beispiel des Halleyschen Kometen.Ulrich Gähde - 2012 - Philosophia Naturalis 49 (2):207-224.details
|
|
A few more dissimilarities between second-order arithmetic and set theory.Kentaro Fujimoto - 2022 - Archive for Mathematical Logic 62 (1):147-206.details
|
|
Mathematics and Set Theory:数学と集合論.Sakaé Fuchino - 2018 - Journal of the Japan Association for Philosophy of Science 46 (1):33-47.details
|
|
Structural Properties of the Stable Core.Sy-David Friedman, Victoria Gitman & Sandra Müller - 2023 - Journal of Symbolic Logic 88 (3):889-918.details
|
|
Hypermachines.Sy-David Friedman & P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):620 - 636.details
|
|
A Divine Consistency Proof for Mathematics. Friedman - 2024 - In Mirosław Szatkowski (ed.), Ontology of Divinity. De Gruyter. pp. 645-696.details
|
|
The Club Guessing Ideal: Commentary on a Theorem of Gitik and Shelah.Matthew Foreman & Peter Komjath - 2005 - Journal of Mathematical Logic 5 (1):99-147.details
|
|
Strong tree properties for two successive cardinals.Laura Fontanella - 2012 - Archive for Mathematical Logic 51 (5-6):601-620.details
|
|
Fresh function spectra.Vera Fischer, Marlene Koelbing & Wolfgang Wohofsky - 2023 - Annals of Pure and Applied Logic 174 (9):103300.details
|
|
Definable MAD families and forcing axioms.Vera Fischer, David Schrittesser & Thilo Weinert - 2021 - Annals of Pure and Applied Logic 172 (5):102909.details
|
|
On arbitrary sets and ZFC.José Ferreirós - 2011 - Bulletin of Symbolic Logic 17 (3):361-393.details
|
|
Does mathematics need new axioms.Solomon Feferman, Harvey M. Friedman, Penelope Maddy & John R. Steel - 1999 - Bulletin of Symbolic Logic 6 (4):401-446.details
|
|
Local saturation and square everywhere.Monroe Eskew - 2020 - Journal of Mathematical Logic 20 (3):2050019.details
|
|
Dense ideals and cardinal arithmetic.Monroe Eskew - 2016 - Journal of Symbolic Logic 81 (3):789-813.details
|
|
Generic large cardinals as axioms.Monroe Eskew - 2020 - Review of Symbolic Logic 13 (2):375-387.details
|
|
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.details
|
|
Simultaneous reflection and impossible ideals.Todd Eisworth - 2012 - Journal of Symbolic Logic 77 (4):1325-1338.details
|
|
Club-guessing, stationary reflection, and coloring theorems.Todd Eisworth - 2010 - Annals of Pure and Applied Logic 161 (10):1216-1243.details
|
|
An undecidable extension of Morley's theorem on the number of countable models.Christopher J. Eagle, Clovis Hamel, Sandra Müller & Franklin D. Tall - 2023 - Annals of Pure and Applied Logic 174 (9):103317.details
|
|
Hilbert and set theory.Burton Dreben & Akihiro Kanamori - 1997 - Synthese 110 (1):77-125.details
|
|
Canonical universes and intuitions about probabilities.Randall Dougherty & Jan Mycielski - 2006 - Dialectica 60 (4):357–368.details
|
|
The halpern–läuchli theorem at a measurable cardinal.Natasha Dobrinen & Dan Hathaway - 2017 - Journal of Symbolic Logic 82 (4):1560-1575.details
|
|
Homogeneous iteration and measure one covering relative to HOD.Natasha Dobrinen & Sy-David Friedman - 2008 - Archive for Mathematical Logic 47 (7-8):711-718.details
|
|
Woodin for strong compactness cardinals.Stamatis Dimopoulos - 2019 - Journal of Symbolic Logic 84 (1):301-319.details
|
|
Rank-into-rank hypotheses and the failure of GCH.Vincenzo Dimonte & Sy-David Friedman - 2014 - Archive for Mathematical Logic 53 (3-4):351-366.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
|
|