- Measurable cardinals and choiceless axioms.Gabriel Goldberg - forthcoming - Annals of Pure and Applied Logic.details
|
|
Consistency results about ordinal definability.Kenneth McAloon - 1971 - Annals of Mathematical Logic 2 (4):449.details
|
|
Some applications of model theory in set theory.Jack H. Silver - 1971 - Annals of Mathematical Logic 3 (1):45.details
|
|
omega ¹-Constructible universe and measurable cardinals.Claude Sureson - 1986 - Annals of Pure and Applied Logic 30 (3):293.details
|
|
Strong compactness and other cardinal sins.Jussi Ketonen - 1972 - Annals of Mathematical Logic 5 (1):47.details
|
|
Ramsey-like cardinals II.Victoria Gitman & P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):541-560.details
|
|
On non-minimal p-points over a measurable cardinal.Moti Gitik - 1981 - Annals of Mathematical Logic 20 (3):269-288.details
|
|
On non-minimal p-points over a measurable cardinal.Moti Gitik - 1981 - Annals of Mathematical Logic 20 (3):269.details
|
|
On the Mitchell and Rudin-Kiesler orderings of ultrafilters.Moti Gitik - 1988 - Annals of Pure and Applied Logic 39 (2):175-197.details
|
|
Ramsey-like cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.details
|
|
On generic elementary embeddings.Moti Gitik - 1989 - Journal of Symbolic Logic 54 (3):700-707.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
|
|
Many Normal Measures.Shimon Garti - 2014 - Notre Dame Journal of Formal Logic 55 (3):349-357.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
|
|
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.details
|
|
Iterated ultrapowers for the masses.Ali Enayat, Matt Kaufmann & Zachiri McKenzie - 2018 - Archive for Mathematical Logic 57 (5-6):557-576.details
|
|
Automorphisms of models of arithmetic: a unified view.Ali Enayat - 2007 - Annals of Pure and Applied Logic 145 (1):16-36.details
|
|
Large Cardinals, Inner Models, and Determinacy: An Introductory Overview.P. D. Welch - 2015 - Notre Dame Journal of Formal Logic 56 (1):213-242.details
|
|
Weak square bracket relations for P κ (λ).Pierre Matet - 2008 - Journal of Symbolic Logic 73 (3):729-751.details
|
|
Believing the axioms. I.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (2):481-511.details
|
|
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
The covering lemma for L[U].A. J. Dodd & R. B. Jensen - 1982 - Annals of Mathematical Logic 22 (2):127-135.details
|
|
The core model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.details
|
|
Some weak versions of large cardinal axioms.Keith J. Devlin - 1973 - Annals of Mathematical Logic 5 (4):291.details
|
|
Iterated ultrapowers and Prikry forcing.Patrick Dehornoy - 1978 - Annals of Mathematical Logic 15 (2):109.details
|
|
Iterated ultrapowers and prikry forcing.Patrick Dehornoy - 1978 - Annals of Mathematical Logic 15 (2):109-160.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
|
|
Inner models from extended logics: Part 1.Juliette Kennedy, Menachem Magidor & Jouko Väänänen - 2020 - Journal of Mathematical Logic 21 (2):2150012.details
|
|
Boolean extensions which efface the mahlo property.William Boos - 1974 - Journal of Symbolic Logic 39 (2):254-268.details
|
|
In memoriam: James Earl Baumgartner (1943–2011).J. A. Larson - 2017 - Archive for Mathematical Logic 56 (7):877-909.details
|
|
The structure of the Mitchell order – II.Omer Ben-Neria - 2015 - Annals of Pure and Applied Logic 166 (12):1407-1432.details
|
|
On reduced products and filters.Mroslav Benda - 1972 - Annals of Mathematical Logic 4 (1):1.details
|
|
Meeting of the association for symbolic logic: New York, 1975.Paul Benacerraf, Simon Kochen & Gerald Sacks - 1977 - Journal of Symbolic Logic 42 (1):143-155.details
|
|
Forcing Magidor iteration over a core model below $${0^{\P}}$$ 0 ¶.Omer Ben-Neria - 2014 - Archive for Mathematical Logic 53 (3-4):367-384.details
|
|
On splitting stationary subsets of large cardinals.James E. Baumgartner, Alan D. Taylor & Stanley Wagon - 1977 - Journal of Symbolic Logic 42 (2):203-214.details
|
|
The ⊲-ordering on normal ultrafilters.Stewart Baldwin - 1985 - Journal of Symbolic Logic 50 (4):936-952.details
|
|
Generalizing the Mahlo Hierarchy, with Applications to the Mitchell Models.Stewart Baldwin - 1983 - Annals of Pure and Applied Logic 25 (2):103-127.details
|
|
Guessing and non-guessing of canonical functions.David Asperó - 2007 - Annals of Pure and Applied Logic 146 (2):150-179.details
|
|
Normal measures on a tall cardinal.Arthur W. Apter & James Cummings - 2019 - Journal of Symbolic Logic 84 (1):178-204.details
|
|
More on HOD-supercompactness.Arthur W. Apter, Shoshana Friedman & Gunter Fuchs - 2021 - Annals of Pure and Applied Logic 172 (3):102901.details
|
|
Inner models with large cardinal features usually obtained by forcing.Arthur W. Apter, Victoria Gitman & Joel David Hamkins - 2012 - Archive for Mathematical Logic 51 (3-4):257-283.details
|
|
Models as Fundamental Entities in Set Theory: A Naturalistic and Practice-based Approach.Carolin Antos - 2022 - Erkenntnis 89 (4):1683-1710.details
|
|
Flipping properties: A unifying thread in the theory of large cardinals.F. G. Abramson, L. A. Harrington, E. M. Kleinberg & W. S. Zwicker - 1977 - Annals of Mathematical Logic 12 (1):25.details
|
|
Non-closure of the image model and absence of fixed points.Claude Sureson - 1985 - Annals of Pure and Applied Logic 28 (3):287-314.details
|
|
(1 other version)Ramsey cardinals, α-erdos cardinals, and the core model.Dirk R. H. Schlingmann - 1991 - Journal of Symbolic Logic 56 (1):108-114.details
|
|
In search of ultimate- L the 19th midrasha mathematicae lectures.W. Hugh Woodin - 2017 - Bulletin of Symbolic Logic 23 (1):1-109.details
|
|
P-points and Q-points over a measurable cardinal.C. Sureson - 1985 - Annals of Pure and Applied Logic 29 (1):107-122.details
|
|
Abstract logic and set theory. II. large cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.details
|
|
Saturated ideals.Kenneth Kunen - 1978 - Journal of Symbolic Logic 43 (1):65-76.details
|
|
(1 other version)Canonical seeds and Prikry trees.Joel David Hamkins - 1997 - Journal of Symbolic Logic 62 (2):373-396.details
|
|