Matthew P Wiener <weemba@sagi.wistar.upenn.edu> wrote: >>[Goedelian impossibility argument re: model-theoretic PA 0-1 law] >>The above is the way 0-1 laws are always proven > >Anyway, the above is the way certain 0-1 laws are always proven.
It is the way ALL known logical 0-1 laws are proven, and apparently cannot work for PA and beyond whatever the handwaving about higher cardinality versions of probability measures on models.
However, from your last few postings it seems that what you're dreaming about is a completely unrelated, and hitherto unknown, sort of 0-1 law which has no connection whatsoever with the "prototypes" from model theory. It's really too vague to comment on one way or the other -- there isn't even a sketch of an outline of a formulation of the probability involved, let alone an indication of why it ought to come out 0 or 1.
