[FOM] transitive sets

Jan Pax pax0 at seznam.cz
Wed Jun 13 18:12:48 EDT 2007

Call an ordinal lambda of type [alpha,beta] iff
every transitive set of cardinality >= lambda contains a chain (under inclusion) of type alpha 
whose elements are of rank >= beta.
Are there other examples besides lambda=2 is of type [2,0], lambda subtle is [4,0] or [2,2]?

More information about the FOM mailing list