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

coveringmeasurable cardinalsinner modeliterated ultrapowershigher core modelgeneralized Příkrý generic sequencesPří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) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

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

• scientific article; zbMATH DE number 3884148 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• Changing cofinality of cardinals
• How large is the first strongly compact cardinal? or a study on identity crises
• 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

(18)

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

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)