FOM: Finite axiom systems for sets

Kanovei kanovei at wmwap1.math.uni-wuppertal.de
Fri May 25 10:05:56 EDT 2001


There is a fragment of ZFC once introduced by Hjorth, 
it contains first  one million of ZFC axioms 
(which must include all single axioms) 
plus Replacement (or Collection) for all Sigma_100 formulas. 

I believe this is enough to prove any known at the moment 
particular theorem of ZFC. 

V.Kanovei





More information about the FOM mailing list