An ordinal analysis of stability

Archive for Mathematical Logic

Volumn 44, Issue 1, 2005, Pages 1-62

  Rathjen, Michael ^a  

^a UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 22044451832     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00153-004-0226-2     Document Type: Article

References (22)

1. Barwise, J.: Admissible Sets and Structures (Springer, Berlin 1975)
2. Buchholz, W.: A simplified version of local predicativity. In: Aczel, Simmons, Wainer (eds.), Leeds Proof Theory 1991 (Cambridge University Press, Cambridge, 1993) pp. 115-147
3. Devlin, K.J.: Constructibility (Springer, Berlin, 1984)
4. Drake, F.: Set Theory: An introduction to large cardinals. Amsterdam: North Holland 1974
5. nd edition (North-Holland, Amsterdam, 1987) pp. 445-485
6. Feferman, S.: Remarks for The Trends in Logic. In: Logic Colloquium '88 (North-Holland, Amsterdam, 1989) pp.361-363
7. Feferman, S.: Systems of predicative analysis II: representations of ordinals. J. Symbolic Logic 23, 193-220 (1968)
8. Kanamori, A.: The higher infinite. (Springer, Berlin, 1995)
9. Kanamori, A., Magidor, M.: The evolution of large cardinal axioms in set theory. In: G. H. Müller, D.S. Scott (eds.) Higher Set Theory. Lecture Notes in Mathematics 669 (Springer, Berlin, 1978) pp. 99-275
10. Pohlers, W.: Proof theory and ordinal analysis. Arch. Math. Logic 30, 311-376 (1991)
11. Rathjen, M.: Proof-Theoretic Analysis of KPM. Arch. Math. Logic 30, 377-403 (1991)
12. Rathjen, M.: How to develop proof-theoretic ordinal functions on the basis of admissible sets. Mathematical Quarterly 39, 47-54 (1993)
13. Rathjen, M.: Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM. Archive for Mathematical Logic 33, 35-55 (1994)
14. Rathjen, M.: Proof theory of reflection. Annals of Pure and Applied Logic 68, 181-224 (1994)
15. 1-CA and related systems. Bulletin of Symbolic Logic 1, 468-485 (1995)
16. 1 comprehension. To appear in Archive for Mathematical Logic (2004?), 100 pages
17. 1 comprehension and related systems. Preprint, 85 pages
18. Rathjen, M.: Explicit mathematics with the monotone fixed point principle II: Models. Journal of Symbolic Logic 64, 517-550 (1999)
19. Richter, W., Aczel, P.: Inductive definitions and reflecting properties of admissible ordinals. In: J.E. Fenstad, Hinman (eds.) Generalized Recursion Theory (North Holland, Amsterdam, 1973) pp. 301-381
20. Sacks, G.E.: Higher recursion theory (Springer, Berlin, 1990)
21. Schütte, K.: Beweistheorie (Springer, Berlin, 1960)
22. Schütte, K.: Proof Theory, (Springer, Berlin, 1977)