A general Mitchell style iteration

DOI10.1002/MALQ.200710080MaRDI QIDQ3545217zbMATH OpenOpenAlexFDO

Authors John Krueger

Publication date 10 December 2008

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

Full work available at URL https://doi.org/10.1002/malq.200710080

zbMATH Keywords

proper forcingmixed support forcing iteration

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40)

Recommendations

• Some applications of mixed support iterations
• Generalized Iteration of Forcing
• Mitchell's theorem revisited
• Some notes on iterated forcing with \(2^{\aleph _ 0}>\aleph _ 2\)
• Forcing with sequences of models of two types

Cites work

• scientific article; zbMATH DE number 3829896 (Why is no real title available?)
• Approachability at the second successor of a singular cardinal
• Aronszajn trees and the independence of the transfer property
• Forcing closed unbounded sets
• Internally club and approachable for larger structures
• Large cardinals and definable counterexamples to the continuum hypothesis
• On the Hamkins approximation property
• Some applications of mixed support iterations

Cited in

(12)

• Disjoint stationary sequences on an interval of cardinals
• Approachability at the second successor of a singular cardinal
• Distinguishing internally club and approachable on an infinite interval
• Some applications of mixed support iterations
• Slender trees and the approximation property
• On disjoint stationary sequences
• PFA and guessing models
• Cardinal characteristics, projective wellorders and large continuum
• Guessing models and generalized Laver diamond
• The combinatorial essence of supercompactness
• Mitchell's theorem revisited
• On the consistency strength of the proper forcing axiom

This page was built for publication: A general Mitchell style iteration

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