Re: omega

Allan Adler <ara@xxxxxxxxxxxxxxxxxxxx> writes:

Can you either give a proof that it is false or a reference containing
an explicit proof that it is false?

Take a standard model of set theory containing the real omega and
close omega under its Skolem functions. This gives an elementarily
equivalent standard countable model containing the standard omega.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

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

Relevant Pages

  • Re: omega
    ... an explicit proof that it is false? ... close omega under its Skolem functions. ... equivalent standard countable model containing the standard omega. ... model of ZF and let w be its omega, which we assume to be the real omega. ...
    (sci.logic)
  • Re: Provable in T?
    ... with the standard model is, in particular, not even worthy of ... In one of them, provability is always ... be that some sentence is true in the standard model, ... completeness of T BUT RATHER the sigma-1-completeness OF N. ...
    (sci.logic)
  • Re: Review of Mueckenheims book.
    ... his terminology was consistent and standard.) ... And I gave ordinary set theoretic definitions of all my terms and the ... on omega is a subset of the power set of omega. ... And my answer to why the textbooks don't mention that is because it ...
    (sci.math)
  • Re: What computer languages are standardised?
    ... >>>compile as well, ... >>Doesn't ADA have a standard compliance test suite? ... There was also a "standard model implementation" of Pascal produced, ...
    (comp.programming)
  • Re: A beginners guide to forcing
    ... at a complete LOSS to even DEFINE "standard" FORMALLY without resort ... you proposing that we define a standard model of ZFC to be a model of ... which is already in ZFC? ...
    (sci.logic)