A general Mitchell style iteration

DOI10.1002/MALQ.200710080zbMATH Open1160.03033OpenAlexW2030079700MaRDI QIDQ3545217FDOQ3545217

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

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

zbMATH Keywords

proper forcingmixed support forcing iteration

Mathematics Subject Classification ID

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

Cites Work

• Aronszajn trees and the independence of the transfer property
• Large cardinals and definable counterexamples to the continuum hypothesis
• Title not available (Why is that?)
• Internally club and approachable for larger structures
• On the Hamkins approximation property
• Forcing closed unbounded sets
• Some applications of mixed support iterations
• Approachability at the second successor of a singular cardinal

Cited In (8)

• Approachability at the second successor of a singular cardinal
• Some applications of mixed support iterations
• 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
• 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)