[FOM] Re:Clarification on Higher Set Theory

Thomas Forster T.Forster at dpmms.cam.ac.uk
Mon Feb 17 08:05:48 EST 2003

>Laver, Steel and Dehornoy have given an example where higher set theory (the 
large cardinal axiom I3, or the existence of self simular ranks) reveals new 

Maybe i'm not up to speed on this, but i don't recall any *converses* in
this area.  Elementary embedding give nice results about LD-algebras,  yes,
but do we know that that is the only way to get those nice results about

      Thomas Forster

More information about the FOM mailing list