16 Apr
1991
16 Apr
'91
12:52 p.m.
okay, then how about taking a regular (beth)_l with l limit. say f(0) = (beth)_0 f(a+1) = (beth)_{f(a)} f(l) = lim_{a < l} (beth)_a and take a fixpoint of f. again, this depends on Replacement and Choice, but not GCH or the existence of inaccessibles.