[FOM] Re:Clarification on Higher Set Theory

[Thomas Forster]

>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
LD-algebras?

      Thomas Forster