Well founded non-standard models?
in [Logic]
|
Prev: sci.lang is not meant for advertising
Next: instructor's solutions manual for Machine Design : An Integrated Approach (3rd Ed., Norton)
From: Aatu Koskensilta on 23 Apr 2010 11:53 Frode Bj�rdal <fbenlightenment4all(a)gmail.com> writes: > Are there, or could there be, well-founded non-standard models of ZF? A standard model of ZF is well-founded by definition. -- Aatu Koskensilta (aatu.koskensilta(a)uta.fi) "Wovon man nicht sprechan kann, dar�ber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus
From: Daryl McCullough on 23 Apr 2010 13:37 In article <87pr1qf9mr.fsf(a)dialatheia.truth.invalid>, Aatu Koskensilta says... > >Frode Bj�rdal <fbenlightenment4all(a)gmail.com> writes: > >> Are there, or could there be, well-founded non-standard models of ZF? > >A standard model of ZF is well-founded by definition. You're saying that every standard model is well-founded. He's asking about the converse: Is every well-founded model standard? -- Daryl McCullough Ithaca, NY
From: Aatu Koskensilta on 23 Apr 2010 13:47
stevendaryl3016(a)yahoo.com (Daryl McCullough) writes: > He's asking about the converse: Is every well-founded model standard? I read carelessly, as you note! The answer to the actual question asked is: yes, at least modulo isomorphism. -- Aatu Koskensilta (aatu.koskensilta(a)uta.fi) "Wovon man nicht sprechan kann, dar�ber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus |