A characterization of generalized Příkrý sequences

DOI10.1007/S00153-005-0313-ZzbMATH Open1077.03030OpenAlexW2028874271MaRDI QIDQ2576644FDOQ2576644

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

Recommendations

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

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)

Cites Work

• Set theory. An introduction to independence proofs
• Title not available (Why is that?)
• On sequences generic in the sense of Prikry
• The covering lemma
• How large is the first strongly compact cardinal? or a study on identity crises
• On the Singular Cardinal Hypothesis
• Changing cofinality of cardinals
• The core model for sequences of measures. I
• The covering lemma for L[U]
• Title not available (Why is that?)

Cited In (18)

• 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
• COUNTABLE LENGTH EVERYWHERE CLUB UNIFORMIZATION
• Prikry-forcing and some generalizations
• Killing the GCH everywhere with a single real
• Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model
• Pratt sequences and \(n\)-gons
• Forcing Magidor iteration over a core model below \(0^P\)
• On density of old sets in Prikry type extensions

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)