Ordinal diagrams for recursively Mahlo universes

Archive for Mathematical Logic

Volumn 39, Issue 5, 2000, Pages 353-391

  Arai, Toshiyasu ^a  

^a HIROSHIMA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034392277     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530050153     Document Type: Article

References (27)

1. Arai, T.: Cut-elimination for S B L. manuscript, (1988)
2. Arai, T.: Ordinal diagrams for the theory of recursively Mahlo ordinals. handwritten note, (1989)
3. Arai, T.: Proof theory for reflecting ordinals II:recursively Mahlo ordinals. handwritten note, (1989)
4. Arai, T.: Systems of ordinal diagrams. manuscript, Aug. (1996)
5. Arai, T.: Proof theory for theories of ordinals I: reflecting ordinals. manuscript, Nov. (1996)
6. 1 stability. manuscript, Feb. (1997)
7. 1 collection. manuscript, Mar. (1997)
8. Arai, T.: Introduction to finitary analyses of proof figures. In: Cooper, S. B., Truss, J. K.(eds.) Sets and Proofs (London Math. Soc. Lecture Note Series: 258, pp. 1-25). Cambridge: Cambridge UP
9. Arai, T.: Proof theory for reflecting ordinals I:recursively Mahlo ordinals. To appear
10. Barwise, J.: Admissible Sets and Structures. Berlin: Springer 1975
11. Buchholz, W.: Normalfunktionen und konstruktive Systeme von Ordinalzahlen. In: Diller, J., Müller, G.H.(eds.) Proof Theory Symposion, Kiel 1974 (Lecture Notes in Mathematics, vol.500, pp.4-25). Berlin: Springer 1975
12. 2-Separation und Bar-Induktion. Sitzungsber. d. Bayer. Akad. d. Wiss., Math.-Nat. Kl.,99-132 (1983)
13. Buss, S.: Bouded Arithmetic. Studies in Proof Theory Lecture Notes 3. Napoli: Bibliopolis 1986
14. Devlin, K.: Constructibility. Berlin: Springer 1984
15. Gentzen, G.: Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlen theorie. Forschungen zur Logik und zur Grundlegung der exakter Wissenschaften, Neue Folge 4,19-44 (1938)
16. Jäger, G.: Zur Beweistheorie der Kripke-Platek Mengenlehre über den natürlichen Zahlen. Arch. math. Logik 22,121-139 (1982)
17. Jäger, G.: A well-ordering proof for Feferman's theory T. ibid. 23,65-77(1983)
18. Jäger, G.: Theories for admissible sets, A unifying approach to proof theory. Studies in Proof Theory Lecture Notes 2. Napoli: Bibliopolis 1986
19. Rathjen, M.: Ordinal notations based on a weakly Mahlo cardinal. Arch. Math. Logic 29,249-263 (1990)
20. Rathjen, M.: Proof-theoretic analysis of K P M . ibid. 30,377-403 (1991)
21. Rathjen, M.: Collapsing functions based on recursively large ordinals: A well-ordering proof for K P M . ibid. 33,181-224 (1994)
22. Richter, W.H., Aczel, P.: Inductive definitions and reflecting properties of admissible ordinals. In:Fenstad, J.E., Hinman, P.G. (eds.) Generalized Recursion Theory (Studies in Logic, vol.79, pp.301-381). Amaterdam: North-Holland 1974
23. 2-Separation und Bar-Induktion. Sitzungsber. d. Bayer. Akad. d. Wiss., Math.-Nat. Kl.,11-41 (1987)
24. Schütte, K.: Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). Arch. Math. Logic 27,5-20 (1988)
25. Takeuti, G.: Proof Theory, second edition. Studies in Logic, vol.81. Amsterdam: North-Holland 1987
26. Weiermann, A.: Ein neuer Zugang zu Kollabierungsfunktionen. Dissertation. Westfälische Wilhelms-Universität Münster 1990
27. Weiermann, A.: a letter, March (1991)