Kripke-Platek Set Theory and the Anti-Foundation Axiom
Michael Rathjen · Mathematical logic quarterly · 2001
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.