As is well-known, the Lowenheim-Skolem Theorem (I’m taking it from Schoenfield’s text–my comments will be in square brackets) If $ T$ is a countable [first-order] theory having a model, then $ T$ has a countable model. allows for the existence of countable transitive models of $ ZFC$ . Furthermore, following Skolem, Schoenfield writes: …We canRead more
Blog
Satisfaction guarantee
Best Proxy Packs
-
2,000 Private Proxies
$299.00 / month
-
1,000 Private Proxies
$179.00 / month
Like And Follow Us
