« first day (2776 days earlier)      last day (30 days later) » 

Kripke Platek
Kripke Platek
12:52 PM
@JadeVanadium Can you explain to me the utility of this operation on a set?
trcl(x) = A ⋃ union(A) ⋃ union(union(A)) ⋃ union(union(union(A))) ⋃ ...
In kunen's textbook, this seems to be used to make set models of ZFC-{Powerset}
 

« first day (2776 days earlier)      last day (30 days later) »