Ebben a Multiverzum-elméletben a világegyetem olyan topológia, ahol zártnyíltak a ZFC-modellek (vagy sok közülük).

Ez egyébként önmagában, matematikai logikailag is érdekes probléma: egy topológia, ahol a bázishalmazok ZFC-modellek! Ebben az esetben, mivel egy M modell valódi osztály belülről, az M-sorozatok M lezárásához nem konvergálhatnak, azaz ebben az értelemben M zártnyílt.

De azért egy M-et majoráló M-ből, ahol supM rendszám M*-ben, már lehet sorozat supM-hez.

Feltehetjük, hogy a ZFC-modellek mindig legyenek tranzitívak.

Woodin különben forszolt ZFC-modellekkel - V-ben, végülis, ezek is csak ugyanolyan halmazok, mint a többi. Sőt: ha van egy tetszőleges H halmazunk, az struktúra a rajta igaz halmazelméleti formulákal.

Ez a gondolat nagyon sok mindenre használható (pl. stacionárius halmazok jellemzése), nem árt észben tartani. Sokszor választhatunk egy adott halmazelméleti problémánál H-t, hogy rajta fi igaz legyen.