[FOM] The Axiom Scheme of Acyclic Comprehension

[Zuhair Abdul Ghafoor Al-Johar]

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,
 
Zuhair