Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.


zuhair
Posts:
2,100
Registered:
2/11/05


The Axiom Scheme of Acyclic Comprehension.
Posted:
Mar 21, 2014 9:41 AM


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 paraphrased 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#firstpage
Best Regards, Zuhair



