UFA fails in the Bell-Kunen model

DOI10.2307/2274968zbMATH Open0715.03021OpenAlexW2023600361MaRDI QIDQ3201042FDOQ3201042

John W. L. Merrill

Publication date: 1990

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274968

Recommendations

• C.c.c. forcing without combinatorics
• Remarks on Martin's Axiom and the Continuum Hypothesis
• Definable forcing axiom: An alternative to Martin's axiom
• scientific article; zbMATH DE number 4047706
• Forcing axioms and stationary sets

zbMATH Keywords

ccc posetsdefinable forcing axiomUndefinable Forcing Axiom

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Cites Work

• Set theory. An introduction to independence proofs
• A very thin thick superatomic Boolean algebra

Cited In (1)

• Definable forcing axiom: An alternative to Martin's axiom

This page was built for publication: UFA fails in the Bell-Kunen model

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