Uncountable sets in countable models of ZFC – math.stackexchange.com

If we assume ZFC to be consistent we have, by the Löwenheim-Skolem theorem, the existence of a countable model $\mathcal{U}_0$ of ZFC. In $\mathcal{U}_0$ there is a infinite ordinal, that is a ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Artikel Terkait

0 Comment to "Uncountable sets in countable models of ZFC – math.stackexchange.com"