Re: Countable models of ZFC

On Oct 3, 12:36 am, aatu.koskensi...@xxxxxxxxx wrote:
george wrote:
DMC did say that a standard model had to be well-founded. He did not
say that it had to be transitive. I personally still don't know if it
does or not.

I'm sure you're capable of figuring it out on your own. Just re-read
the posts in this thread.

--
Aatu Koskensilta (aatu.koskensi...@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus

It should be noted: when I defined "standard model" I said it didn't
have to be transitive, hence when I say "the intersection of all
standard models is L_alpha where alpha is countable", I should instead
have said "the intersection of all standard transitive models is
L_alpha where alpha is countable".

.

Relevant Pages

  • Re: Diagonal Intersection what is it?
    ... |> ordinals, indexed by ordinals alpha, is ... least upper bound alpha, then the least upper bound of f ... simple intersection of a collection of them, ... in the family, for every beta> alpha, if beta is in the diagonal ...
    (sci.logic)
  • Re: Real Analysis Topology Question
    ... Let {f alpha (alpha is a subscript)} be a collection of closed sets. ... Show that intersection f alpha is closed. ...
    (sci.math)
  • Real Analysis Topology Question
    ... Let {f alpha } be a collection of closed sets. ... Show that intersection (backwards U symbol) f alpha is closed. ...
    (sci.math)
  • Topology Question
    ... Let {f alpha } be a collection of closed sets. ... Show that intersection (backwards U symbol) f alpha is closed. ...
    (sci.logic)
Quantcast