Fragments of HA based on Σ1-induction

Archive for Mathematical Logic

Volumn 37, Issue 1, 1997, Pages 37-49

  Wehmeier, Kai F ^a  

^a UNIVERSITY OF MÜNSTER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031473688     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530050081     Document Type: Article

References (14)

1. Boolos, G.: The Logic of Provability. Cambridge: Cambridge University Press 1993
2. Buss, S.: Intuitionistic validity in T-normal Kripke structures. Ann. Pure Appl. Logic 59, 159-173 (1993)
3. Damnjanovic, Z.: Strictly primitive recursive realizability, I. JSL 59, No. 4, 1210-1227 (1994)
4. Dragalin, A.: Mathematical Intuitionism - Introduction to Proof Theory. Province, RI: Am. Math. Soc. 1987
5. Kaye, R.: Models of Peano Arithmetic. Oxford: Oxford University Press 1991
6. Leivant, D.: Implicational complexity in intuitionistic arithmetic. JSL 46, 240-248 (1981)
7. Markovic, Z.: On the structure of Kripke models of Heyting arithmetic. MLQ 39, 531-538 (1993)
8. Pohlers, W.: A short course in ordinal analysis. In: Aczel, P. et al. (ed.) Proof Theory, pp. 27-79 Cambridge: Cambridge University Press 1992
9. Smorynski, C.: Applications of Kripke models. In: [T73], pp. 324-391
10. Troelstra, A.S. (ed.): Metamathematical Investigations of Intuitionistic Arithmetic and Analysis. Berlin Heidelberg New York: Springer 1973
11. Troelstra, A.S.: Realizability. ILLC Prepublication Series, ML-92-09, Amsterdam: (1992)
12. Troelstra, A.S., van Dalen. D.: Constructivism in Mathematics, Vol. I. Amsterdam: North-Holland 1988
13. van Dalen, D., Mulder, H., Krabbe, E.C.W., Visser, A.: Finite Kripke Models of HA are locally PA. Notre Dame J. Formal Logic 27, 528-532 (1986)
14. Wehmeier, K.F.: Classical and Intuitionistic Models of Arithmetic. Notre Dame J. Formal Logic (to appear)