In founding set theory, Cantor showed that the cardinality of the set Q of rational numbers is countably infinite; that Q may be extended by completion to obtain the set R of real numbers (we say that Q is countably dense in R); that any other countably dense subset of R is isomorphic to Q; and that R itself is uncountably infinite. The question then naturally arises whether all uncountably dense subsets of R of the same cardinality must also be isomorphic. Decades later, a negative answer was given when a model of set theory was constructed in which many uncountably dense subsets of R fail to be isomorphic. On the other hand, Baumgartner has shown by the method of forcing that another model exists in which all dense subsets of R of the least uncountable cardinality are isomorphic. Presented here is a detailed yet expository account of Baumgartner's famous result with a brief discussion of its relevance to forcing axioms in contemporary set theory.
|Author||Michael H. Vartanian|
|Number of Pages||56|
|Country of Manufacture||India|
|Product Brand||LAP LAMBERT Academic Publishing|
|Product Packaging Info||Box|
|In The Box||1 Piece|
|Product First Available On ClickOnCare.com||2015-08-14 00:00:00|