[FOM] Acyclic comprehension is Stratified comprehension

Zuhair Abdul Ghafoor Al-Johar zaljohar at yahoo.com
Thu Nov 25 14:30:10 EST 2010

Previous message: [FOM] 447: Kernels and Large Cardinals IV
Next message: [FOM] CAV 2011 CALL FOR PAPERS
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear Sirs:

The following is an updated proof of Acyclic comprehension being equal to stratified comprehension:

http://zaljohar.tripod.com/acycliccomp.pdf

Best Regards

Previous message: [FOM] 447: Kernels and Large Cardinals IV
Next message: [FOM] CAV 2011 CALL FOR PAPERS
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list