[FOM] The Axiom Scheme of Acyclic Comprehension

Zuhair Abdul Ghafoor Al-Johar zaljohar at yahoo.com
Fri Mar 21 09:32:34 EDT 2014

Dear Sirs,

The Axiom Scheme of Acyclic Comprehension had been published at the Notre Dame Journal of Formal Logic.

The general idea is that the criterion of 'Stratification' is reducible to 'Acyclicity'. So Type Theory is para-phrased by stratification which is found to be reducible to Acyclicity. The later is the axiom that every acyclic formula defines a set, where an acyclic formula is a formula in the language of set theory which admits an acyclic graph whose nodes are the variables in the formula and whose edges are occurrences of atomic formulas of the form x E y; x=y.

Details at: 

See: http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.ndjfl/1390246435&page=record#first-page

Best Regards,

More information about the FOM mailing list