[FOM] Elementary submodel
Monroe Eskew
meskew at math.uci.edu
Thu Jan 3 18:41:20 EST 2013
Jan,
Why do you think it goes upward in complexity like that? Write down the formula for there exists a blah cardinal; it has some complexity n. Let kappa be the least blah cardinal. Then we have an example of a formula of complexity n that cannot reflect to V_kappa; if it did then kappa would not be the least.
Monroe
On Jan 3, 2013, at 5:38 AM, <pax0 at seznam.cz> wrote:
> A question from set theory, book by Thomas Jech, third millennium edition:
> on page 386, exercise 20.10
> why we should prove it for 3, when proved for 1 implies
> V_kappa <_n V
> for all natural n?
> Thank you, Jan Pax
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
More information about the FOM
mailing list