UFA fails in the Bell-Kunen model

DOI10.2307/2274968zbMath0715.03021OpenAlexW2023600361MaRDI QIDQ3201042

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

zbMATH Keywords

ccc posetsdefinable forcing axiomUndefinable Forcing Axiom

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Related Items (1)

Definable forcing axiom: An alternative to Martin's axiom

Cites Work

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

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