A characterization of generalized Příkrý sequences

DOI10.1007/S00153-005-0313-ZMaRDI QIDQ2576644zbMATH OpenOpenAlexFDO

Authors Gunter Fuchs

Publication date 14 December 2005

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-005-0313-z

zbMATH Keywords

coveringgeneralized Příkrý generic sequenceshigher core modelinner modeliterated ultrapowersmeasurable cardinalsPříkrý forcing

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Recommendations

• Prikry-forcing and some generalizations
• Canonical seeds and Prikry trees
• About Prikry generic extensions
• Prikry forcing at κ⁺ and beyond
• Pseudo-Prikry sequences

Cites work

• Changing cofinality of cardinals
• How large is the first strongly compact cardinal? or a study on identity crises
• scientific article; zbMATH DE number 3884148 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• On sequences generic in the sense of Prikry
• On the Singular Cardinal Hypothesis
• Set theory. An introduction to independence proofs
• The core model for sequences of measures. I
• The covering lemma
• The covering lemma for L[U]

Cited in

(24)

• Pratt sequences and n-gons
• About Prikry generic extensions
• Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model
• The subcompleteness of diagonal Prikry
• Forcing Magidor iteration over a core model below \(0^P\)
• Prikry-forcing and some generalizations
• Killing the GCH everywhere with a single real
• Prikry forcing at κ⁺ and beyond
• The core model for sequences of measures. I
• Canonical seeds and Prikry trees
• Pseudo-Prikry sequences
• A minimal Prikry-type forcing for singularizing a measurable cardinal
• Definable combinatorics at the first uncountable cardinal
• Closed and unbounded classes and the Härtig quantifier model
• ON SEQUENCES GENERIC IN THE SENSE OF MAGIDOR
• On density of old sets in Prikry type extensions
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• STRUCTURAL PROPERTIES OF THE STABLE CORE
• A Mathias criterion for the Magidor iteration of Prikry forcings
• COUNTABLE LENGTH EVERYWHERE CLUB UNIFORMIZATION
• More on blurry hod
• On the consistency strength of critical leaps
• Applications of the magidor iteration to ultrafilter theory
• Descriptive properties of I2-embeddings

This page was built for publication: A characterization of generalized Příkrý sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2576644)