Back to Search
Start Over
Kripke-Platek Set Theory and the Anti-Foundation Axiom.
- Source :
-
Mathematical Logic Quarterly . Nov2001, Vol. 47 Issue 4, p435-440. 6p. - Publication Year :
- 2001
-
Abstract
- The paper investigates the strength of the Anti-Foundation Axiom, AFA, on the basis of Kripke-Platek set theory without Foundation. It is shown that the addition of AFA considerably increases the proof theoretic strength. [ABSTRACT FROM AUTHOR]
- Subjects :
- *SET theory
*MATHEMATICAL logic
*AXIOMS
*PROOF theory
*ALGEBRA
*MATHEMATICS
Subjects
Details
- Language :
- English
- ISSN :
- 09425616
- Volume :
- 47
- Issue :
- 4
- Database :
- Academic Search Index
- Journal :
- Mathematical Logic Quarterly
- Publication Type :
- Academic Journal
- Accession number :
- 13585434
- Full Text :
- https://doi.org/10.1002/1521-3870(200111)47:4<435::AID-MALQ435>3.0.CO;2-7