Switch to: Citations

References in:

Kripke-Platek Set Theory and the Anti-Foundation Axiom

Michael Rathjen

Mathematical Logic Quarterly 47 (4):435-440 (2001)

Add references

You must login to add references.

(1 other version)Subsystems of set theory and second order number theory.Wolfram Pohlers - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 137--209.details Download Export citation Bookmark 22 citations
Non-Well-Founded Sets.Peter Aczel - 1988 - Palo Alto, CA, USA: Csli Lecture Notes.details Download Export citation Bookmark 140 citations
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.details Download Export citation Bookmark 236 citations
Subsystems of Second Order Arithmetic.Stephen George Simpson - 1998 - Springer Verlag.details Stephen George Simpson. with definition 1.2.3 and the discussion following it. For example, taking 90(n) to be the formula n §E Y, we have an instance of comprehension, VYEIXVn(n€X<—>n¢Y), asserting that for any given set Y there exists a ... Download Export citation Bookmark 131 citations
Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.details Download Export citation Bookmark 104 citations
(1 other version)Subsystems of Set Theory and Second-Order Number Theory.Wolfram Pohlers - 2000 - Bulletin of Symbolic Logic 6 (4):467-469.details Download Export citation Bookmark 12 citations

1