作者: James E. BAUMGARTNER
DOI: 10.1016/B978-0-444-86580-9.50024-0
关键词:
摘要: Publisher Summary The chapter presents a more powerful version of Martin Axiom (MA), the Proper Forcing (PFA) that is successful at settling problems left open by MA. PFA obtained from MA replacing countable chain condition properness. In addition to (ccc) partial orderings, proper orderings include countably closed and A many others as well. Like ccc are under forcing composition. Thus, applies than MA, this one source its power. Another power fact large cardinals needed obtain consistency PFA. This means can be applied has no hope solving simply because questions strength.