Back to Search Start Over

Kripke-Platek Set Theory and the Anti-Foundation Axiom.

Authors :
Rathjen, Michael
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

Subjects :
*SET theory
*MATHEMATICAL logic
*AXIOMS
*PROOF theory
*ALGEBRA
*MATHEMATICS

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
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details