[FOM] The Axiom Scheme of Acyclic Comprehension
Zuhair Abdul Ghafoor Al-Johar
zaljohar at yahoo.com
Fri Mar 21 09:32:34 EDT 2014
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.
More information about the FOM