A characterization of determinacy for Turing degree games
Page 1 Next
E. Kleinberg (1973)
Fundamenta Mathematicae
Radek Honzík (2010)
Acta Universitatis Carolinae. Mathematica et Physica
James Cummings, Mirna Džamonja, Saharon Shelah (1995)
Fundamenta Mathematicae
F. Drake (1974)
Fundamenta Mathematicae
Jack Silver (1970)
Fundamenta Mathematicae
Paul Corazza (1997)
Fundamenta Mathematicae
We define a new large cardinal axiom that fits between and in the hierarchy of axioms described in [SRK]. We use this new axiom to obtain a Laver sequence for extendible cardinals, improving the known large cardinal upper bound for the existence of such sequences.
John O'Neill (1996)
Colloquium Mathematicae
Douglas Burke (2000)
Fundamenta Mathematicae
Assuming large cardinals, we show that every κ-complete filter can be generically extended to a V-ultrafilter with well-founded ultrapower. We then apply this to answer a question of Abe.
Arthur W. Apter (2008)
Bulletin of the Polish Academy of Sciences. Mathematics
If κ < λ are such that κ is both supercompact and indestructible under κ-directed closed forcing which is also (κ⁺,∞)-distributive and λ is supercompact, then by a result of Apter and Hamkins [J. Symbolic Logic 67 (2002)], δ < κ | δ is δ⁺ strongly compact yet δ is not δ⁺ supercompact must be unbounded in κ. We show that the large cardinal hypothesis on λ is necessary by constructing a model containing a supercompact cardinal κ in which no cardinal δ > κ is supercompact, κ’s supercompactness...
Arthur Apter (2000)
Fundamenta Mathematicae
We construct a model containing a proper class of strongly compact cardinals in which no strongly compact cardinal ĸ is supercompact and in which every strongly compact cardinal has its strong compactness resurrectible.
Ondřej Zindulka (1990)
Commentationes Mathematicae Universitatis Carolinae
Donna Carr (1987)
Fundamenta Mathematicae
Arthur W. Apter, Grigor Sargsyan (2007)
Bulletin of the Polish Academy of Sciences. Mathematics
We show how to reduce the assumptions in consistency strength used to prove several theorems on universal indestructibility.
Richard Laver (1978)
Compositio Mathematica
Philippe Loustaunau (1990)
Fundamenta Mathematicae
G. Choodnowsky, K. Wolfsdorf (1982)
Bulletin de la Société Mathématique de France
Martin Huber, Paul C. Eklof (1979)
Commentarii mathematici Helvetici
Moti Gitik, Mohammad Golshani (2015)
Fundamenta Mathematicae
We study pairs (V, V₁), V ⊆ V₁, of models of ZFC such that adding κ-many Cohen reals over V₁ adds λ-many Cohen reals over V for some λ > κ.
Hartwig Fuchs (1971)
Revista colombiana de matematicas
Klaas Pieter Hart (2002)
Acta Universitatis Carolinae. Mathematica et Physica
Page 1 Next