Non ti piace? Non importa! Puoi restituircelo entro 30 giorni
Non puoi sbagliarti con un buono regalo. Con il buono regalo, il destinatario può scegliere qualsiasi prodotto della nostra offerta.
30 giorni per il reso
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.