[FOM] A proof that ZFC has no any omega-models

[Aatu Koskensilta]

Quoting Monroe Eskew <meskew at math.uci.edu>:

> If alpha is the least ordinal such that L_alpha satisfies ZFC, then  
> L_alpha must think there is no transitive model of ZFC, by the  
> absoluteness of the Gödel operations.  Shoenfield's absoluteness  
> theorem does not apply to this situation because its hypothesis  
> includes that the model in question contains all countable ordinals.

   In the minimal model L_alpha there is no standard model of ZFC. But  
there is, in L_alpha, an (omega-)model of ZFC + all arithmetical  
truths. Such models are of course necessarily non-standard.

-- 
Aatu Koskensilta (aatu.koskensilta at uta.fi)

"Wovon man nicht sprechen kann, darüber muss man schweigen"
  - Ludwig Wittgenstein, Tractatus Logico-Philosophicus