Re: Lowenheim-Skolem-Ockham Theorem

LordBeotian <pokispy76@[cancella questo]yahoo.it> wrote:

> A model can be the "smallest" without being the simplest.
> Do you feel that there is a countable model of set theory that is the
> "simplest"? Which one?

Following Cohen there is a unique minimal model of set theory.
This is discussed starting on p. 104 of his book on the independence
of the continuum hypothesis. There is also the reference: Bulletin
of the American Mathematical Society vol. 69: pp. 537--40 (1963).


--
pa at panix dot com
.

Relevant Pages

  • Re: Lowenheim-Skolem-Ockham Theorem
    ... >> Do you feel that there is a countable model of set theory that is the ... > Following Cohen there is a unique minimal model of set theory. ... Prev by Date: ...
    (sci.logic)
  • Skolems Paradox and why is math the way it is?
    ... of set theory exist, specifically a countable model exists. ... Why do mathematicians like a nondescriptively complete axiom system as ...
    (sci.math)
  • Re: Skolems Paradox and why is math the way it is?
    ... > exists a countable model of set theory. ... the result that there exists a countable model of set theory, ... theorem that there is a set of singletons that cannot be put into ... There is no such axiom in ZF. ...
    (sci.math)
  • Re: Lowenheim-Skolem-Ockham Theorem
    ... >to halt the chain of definable beings, and that is at w^1_CK, ... The other point is that for any countable model of set ... the enumeration function for that model cannot ... any set theory to be done must somehow take this into account; ...
    (sci.logic)
  • Re: Moore on Skolems Paradox
    ... > We can prove in standard set theory that ... > there is a countable model of ZFC. ...
    (sci.logic)