Drexel dragonThe Math ForumDonate to the Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: The Axiom Scheme of Acyclic Comprehension.
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  

Posts: 2,100
Registered: 2/11/05
The Axiom Scheme of Acyclic Comprehension.
Posted: Mar 21, 2014 9:41 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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,


Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.