About Prikry generic extensions
From MaRDI portal
Publication:1814134
DOI10.1016/0168-0072(91)90018-HzbMath0813.03033MaRDI QIDQ1814134
Publication date: 25 June 1992
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(91)90018-h
measurable cardinal; least upper bound; Mathias forcing; greatest lower bound; Prikry-generic sequence
03E35: Consistency and independence results
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals
03E40: Other aspects of forcing and Boolean-valued models
Related Items
Cites Work
- Set theory. An introduction to independence proofs
- A model of set-theory in which every set of reals is Lebesgue measurable
- Iterated ultrapowers and prikry forcing
- The covering lemma for K
- Happy families
- Some applications of iterated ultrapowers in set theory
- On sequences generic in the sense of Prikry
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item