An intuitionistic fixed point theory

Archive for Mathematical Logic

Volumn 37, Issue 1, 1997, Pages 21-27

  Buchholz, Wilfried ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031283923     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530050079     Document Type: Article

References (11)

1. Arai, T.: Remark on Buchholz' paper 'An intuitionistic fixed point theory'. Handwritten notes (1993)
2. Buchholz, W.: A simplified version of local predicativity. In: Aczel, Simmons, Wainer (eds.) Leeds Proof Theory 1990, Cambridge: Cambridge University Press 1992
3. Buchholz, W., Feferman, S., Pohlers, W., Sieg, W.: Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. Lecture Notes Math., vol. 897. Berlin Heidelberg New York: Springer 1981
4. Feferman, S.: Iterated fixed-point theories: application to Hancock's conjecture. In: G. Metakides (ed.) The Patras Symposium. Amsterdam: North-Holland 1982
5. Goodman, N.: Relativized realizability in intuitionistic arithmetic in all finite types. J. Symb. Logic 43, 23-44 (1978)
6. 2-CA)+(BI) und verwandter Systeme. Sitzungsber. d. Bayer. Akad. d. Wiss., Math.-Nat. Kl., 1-28 (1982)
7. Jäger, G., Primo, B.: About the proof-theoretic strength of weak fixed point theories. J. Symb. Logic 57(3) (1992)
8. 2-CA)+(BI) liegenden Beweisstärke. Ph.D. thesis, Münster (1989)
9. Rathjen, M.: Proof theory of reflection. Ann. Pure Appl. Logic 68, 181-224 (1994)
10. Schütte, K.: Proof Theory. Berlin Heidelberg New York: Springer 1977
11. Troelstra, A.: Metamathematical investigation of intuitionistic arithmetic and analysis. Lecture Notes Math., vol. 344. Berlin Heidelberg New York: Springer 1973