Strongly proper forcing and some problems of Foreman

DOI10.1090/TRAN/7725MaRDI QIDQ4633581zbMATH OpenOpenAlexFDO

Authors Monroe Eskew, Sean Cox

Publication date 3 May 2019

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1612.01572

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65) Generic absoluteness and forcing axioms (03E57)

Recommendations

• Ideal projections and forcing projections
• Indestructibility of generically strong cardinals
• PFA and ideals on \(\omega_{2}\) whose associated forcings are proper
• Iterated forcing and normal ideals on \(\omega _ 1\)
• Forcing idealized

Cites work

• scientific article; zbMATH DE number 5785892 (Why is no real title available?)
• Calculating quotient algebras of generic embeddings
• Forcing closed unbounded sets
• Ideal projections and forcing projections
• Ideals and generic elementary embeddings
• Iterated forcing and elementary embeddings
• Large cardinals and definable counterexamples to the continuum hypothesis
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• On the Existence of Nonregular Ultrafilters and the Cardinality of Ultrapowers
• On the Hamkins approximation property
• Potent Axioms
• Precipitous towers of normal filters
• Projective Stationary Sets and a Strong Reflection Principle
• Saturated ideals
• Saturation Properties of Ideals in Generic Extensions.II
• Set Theory
• Two upper bounds on consistency strength of \(\neg \square_{\aleph_\omega}\) and stationary set reflection at two successive \(\aleph_n\)

Cited in

(4)

• scientific article; zbMATH DE number 4154903 (Why is no real title available?)
• Local saturation and square everywhere
• Proper forcing extensions and Solovay models
• SET FORCING AND STRONG CONDENSATION FORH(ω₂)

This page was built for publication: Strongly proper forcing and some problems of Foreman

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