- omega ¹-Constructible universe and measurable cardinals.Claude Sureson - 1986 - Annals of Pure and Applied Logic 30 (3):293.details
|
|
On generic elementary embeddings.Moti Gitik - 1989 - Journal of Symbolic Logic 54 (3):700-707.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
|
|
Structural Properties of the Stable Core.Sy-David Friedman, Victoria Gitman & Sandra Müller - 2023 - Journal of Symbolic Logic 88 (3):889-918.details
|
|
The definability of E in self-iterable mice.Farmer Schlutzenberg - 2023 - Annals of Pure and Applied Logic 174 (2):103208.details
|
|
Models as Fundamental Entities in Set Theory: A Naturalistic and Practice-based Approach.Carolin Antos - 2022 - Erkenntnis 89 (4):1683-1710.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
|
|
More on HOD-supercompactness.Arthur W. Apter, Shoshana Friedman & Gunter Fuchs - 2021 - Annals of Pure and Applied Logic 172 (3):102901.details
|
|
In search of ultimate- L the 19th midrasha mathematicae lectures.W. Hugh Woodin - 2017 - Bulletin of Symbolic Logic 23 (1):1-109.details
|
|
On reduced products and filters.Mroslav Benda - 1972 - Annals of Mathematical Logic 4 (1):1.details
|
|
Boolean extensions and measurable cardinals.K. Kunen - 1971 - Annals of Mathematical Logic 2 (4):359.details
|
|
Some applications of model theory in set theory.Jack H. Silver - 1971 - Annals of Mathematical Logic 3 (1):45.details
|
|
Iterated ultrapowers and Prikry forcing.Patrick Dehornoy - 1978 - Annals of Mathematical Logic 15 (2):109.details
|
|
Strong compactness and other cardinal sins.Jussi Ketonen - 1972 - Annals of Mathematical Logic 5 (1):47.details
|
|
On non-minimal p-points over a measurable cardinal.Moti Gitik - 1981 - Annals of Mathematical Logic 20 (3):269.details
|
|
Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.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
|
|
Some combinatorial problems concerning uncountable cardinals.Thomas J. Jech - 1973 - Annals of Mathematical Logic 5 (3):165.details
|
|
Many Normal Measures.Shimon Garti - 2014 - Notre Dame Journal of Formal Logic 55 (3):349-357.details
|
|
The model< i> N=∪{< i> L_[A]:< i> A countable set of ordinals}.Claude Sureson - 1987 - Annals of Pure and Applied Logic 36 (C):289-313.details
|
|
How large is the first strongly compact cardinal? or a study on identity crises.Menachem Magidor - 1976 - Annals of Mathematical Logic 10 (1):33-57.details
|
|
The core model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.details
|
|
The covering lemma for L[U].A. J. Dodd & R. B. Jensen - 1982 - Annals of Mathematical Logic 22 (2):127-135.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
|
|
Chang's model and covering properties.Claude Sureson - 1989 - Annals of Pure and Applied Logic 42 (1):45-79.details
|
|
Weakly measurable cardinals.Jason A. Schanker - 2011 - Mathematical Logic Quarterly 57 (3):266-280.details
|
|
Analytic determinacy and 0#. [REVIEW]Leo Harrington - 1978 - Journal of Symbolic Logic 43 (4):685 - 693.details
|
|
Extended ultrapowers and the vopěnka-hrbáček theorem without choice.Mitchell Spector - 1991 - Journal of Symbolic Logic 56 (2):592-607.details
|
|
Believing the axioms. I.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (2):481-511.details
|
|
The comparison lemma.John R. Steel - forthcoming - Annals of Pure and Applied Logic.details
|
|
Measurable cardinals and choiceless axioms.Gabriel Goldberg - forthcoming - Annals of Pure and Applied Logic.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
|
|
Consistency results about ordinal definability.Kenneth McAloon - 1971 - Annals of Mathematical Logic 2 (4):449.details
|
|
Some weak versions of large cardinal axioms.Keith J. Devlin - 1973 - Annals of Mathematical Logic 5 (4):291.details
|
|
How large is the first strongly compact cardinal? or: A study on identity crises.Menachem Magidor - 1976 - Annals of Mathematical Logic 10 (1):33.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
|
|
Ultrafilters over a measurable cardinal.A. Kanamori - 1976 - Annals of Mathematical Logic 10 (3-4):315-356.details
|
|
Strong cardinals in the core model.Kai Hauser & Greg Hjorth - 1997 - Annals of Pure and Applied Logic 83 (2):165-198.details
|
|
About Prikry generic extensions.Claude Sureson - 1991 - Annals of Pure and Applied Logic 51 (3):247-278.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
|
|
P-points and Q-points over a measurable cardinal.C. Sureson - 1985 - Annals of Pure and Applied Logic 29 (1):107-122.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
|
|
Weak square bracket relations for P κ (λ).Pierre Matet - 2008 - Journal of Symbolic Logic 73 (3):729-751.details
|
|
Sets constructible from sequences of ultrafilters.William J. Mitchell - 1974 - Journal of Symbolic Logic 39 (1):57-66.details
|
|
Saturated ideals.Kenneth Kunen - 1978 - Journal of Symbolic Logic 43 (1):65-76.details
|
|
Elementary embeddings and infinitary combinatorics.Kenneth Kunen - 1971 - Journal of Symbolic Logic 36 (3):407-413.details
|
|
Precipitous ideals.T. Jech, M. Magidor, W. Mitchell & K. Prikry - 1980 - Journal of Symbolic Logic 45 (1):1-8.details
|
|
Canonical seeds and Prikry trees.Joel David Hamkins - 1997 - Journal of Symbolic Logic 62 (2):373-396.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
|
|
Inner models from extended logics: Part 1.Juliette Kennedy, Menachem Magidor & Jouko Väänänen - 2020 - Journal of Mathematical Logic 21 (2):2150012.details
|
|