Gc wrote: > Aatu Koskensilta kirjoitti: > >> In the passage you quoted Shoenfield explains how a first order theory >> in which the formalization of "there is an uncountable set" is provable >> can have countable models. From this it does not follow that "every set >> of reals is in some sense countable". > > I understand that there is a complete set of reals in a countable > model.
What, if anything, do you mean by there being "a complete set of reals in a countable model"?
-- Aatu Koskensilta (firstname.lastname@example.org)
"Wovon man nicht sprechen kann, daruber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus