Abstract:Properness is a property of forcing posets which generalises the countable chain condition, is preserved under countable support iterations, and which, when applied to iterations of posets of cardinal...Properness is a property of forcing posets which generalises the countable chain condition, is preserved under countable support iterations, and which, when applied to iterations of posets of cardinality ℵ1. (the posets one usually wants to iterate) guarantees the preservation of all cardinals. The notion was formulated by Saharon Shelah, and arose from his study of Ronald Jensen's technique of iterated Souslin forcing (see [DeJo]) and from his attempts (eventually successful) to show that the GCH does not resolve the Whitehead Problem (see [Ek], together with §4 of these notes). In order to motivate the notion, let us review some basic forcing theory, which we will in any case need later.Read More
Publication Year: 1983
Publication Date: 1983-10-13
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
Cited By Count: 28
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot