- omega ¹-Constructible universe and measurable cardinals.Claude Sureson - 1986 - Annals of Pure and Applied Logic 30 (3):293.details
|
|
Iterated ultrapowers and prikry forcing.Patrick Dehornoy - 1978 - Annals of Mathematical Logic 15 (2):109-160.details
|
|
Iterated ultrapowers and Prikry forcing.Patrick Dehornoy - 1978 - Annals of Mathematical Logic 15 (2):109.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
|
|
Boolean extensions which efface the mahlo property.William Boos - 1974 - Journal of Symbolic Logic 39 (2):254-268.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
|
|
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
|
|
Weak square bracket relations for P κ (λ).Pierre Matet - 2008 - Journal of Symbolic Logic 73 (3):729-751.details
|
|
In search of ultimate- L the 19th midrasha mathematicae lectures.W. Hugh Woodin - 2017 - Bulletin of Symbolic Logic 23 (1):1-109.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
|
|
Abstract logic and set theory. II. large cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.details
|
|
Contributions to the Theory of Semisets IV.Petr Štêpánek - 1974 - Mathematical Logic Quarterly 20 (23‐24):373-384.details
|
|
Contributions to the Theory of Semisets IV.Petr Štêpánek - 1974 - Mathematical Logic Quarterly 20 (23-24):373-384.details
|
|
Partition properties of m-ultrafilters and ideals.Joji Takahashi - 1987 - Journal of Symbolic Logic 52 (4):897-907.details
|
|
A saturation property of ideals and weakly compact cardinals.Joji Takahashi - 1986 - Journal of Symbolic Logic 51 (3):513-525.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
|
|
The model "N" = [union].Claude Sureson - 1987 - Annals of Pure and Applied Logic 36:289.details
|
|
The model N = ∪ {L[A]: A countable set of ordinals}.Claude Sureson - 1987 - Annals of Pure and Applied Logic 36:289-313.details
|
|
P-points and Q-points over a measurable cardinal.C. Sureson - 1985 - Annals of Pure and Applied Logic 29 (1):107-122.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
|
|
About Prikry generic extensions.Claude Sureson - 1991 - Annals of Pure and Applied Logic 51 (3):247-278.details
|
|
The comparison lemma.John R. Steel - forthcoming - Annals of Pure and Applied Logic.details
|
|
Iterated extended ultrapowers and supercompactness without choice.Mitchell Spector - 1991 - Annals of Pure and Applied Logic 54 (2):179-194.details
|
|
Extended ultrapowers and the vopěnka-hrbáček theorem without choice.Mitchell Spector - 1991 - Journal of Symbolic Logic 56 (2):592-607.details
|
|
Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.details
|
|
Some applications of model theory in set theory.Jack H. Silver - 1971 - Annals of Mathematical Logic 3 (1):45.details
|
|
Weakly measurable cardinals.Jason A. Schanker - 2011 - Mathematical Logic Quarterly 57 (3):266-280.details
|
|
The definability of E in self-iterable mice.Farmer Schlutzenberg - 2023 - Annals of Pure and Applied Logic 174 (2):103208.details
|
|
Ramsey cardinals, α-erdos cardinals, and the core model.Dirk R. H. Schlingmann - 1991 - Journal of Symbolic Logic 56 (1):108-114.details
|
|
Undefinable sets.Rudolf V. B. Rucker - 1974 - Annals of Mathematical Logic 6 (3):395.details
|
|
Standardization principle of nonstandard universes.Masahiko Murakami - 1999 - Journal of Symbolic Logic 64 (4):1645-1655.details
|
|
Sets constructible from sequences of ultrafilters.William J. Mitchell - 1974 - Journal of Symbolic Logic 39 (1):57-66.details
|
|
Ramsey cardinals and constructibility.William Mitchell - 1979 - Journal of Symbolic Logic 44 (2):260-266.details
|
|
Consistency results about ordinal definability.Kenneth McAloon - 1971 - Annals of Mathematical Logic 2 (4):449.details
|
|
On the ultrafilter of closed, unbounded sets.D. A. Martin & W. Mitchell - 1979 - Journal of Symbolic Logic 44 (4):503-506.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
|
|
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
|
|