Consistency proof via pointwise induction

Archive for Mathematical Logic

Volumn 37, Issue 3, 1998, Pages 149-165

  Arai, Toshiyasu ^a  

^a HIROSHIMA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032385139     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530050089     Document Type: Article

References (8)

1. Arai, T.: A slow growing analogue to Buchholz' proof. Ann. Pure Appl. Logic 54, 101-120 (1991)
2. Buchholz, W.: A new system of proof-theoretic ordinal functions. Ann. Pure Appl. Logic 32, 195-207(1986)
3. 1-CA)+BI. Ann. Pure Appl. Logic 33, 131-155 (1987)
4. Hamano, M., Okada, M.: A direct independence proof of Buchholz's hydra game on finite labeled trees, submitted
5. Rose, H.E.: Subrecursion:Functions and hierarchies. Oxford Logic Guides 9. Oxford: Oxford University Press 1984
6. Schmerl U.: Number theory and the Bachmann/Howard ordinal. In: Stern, J (ed.) Proceedings of the Herbrand Symposium Logic Colloquim '81 (Studies in Logic, vol. 107, pp. 287-298). Amsterdam: North-Holland 1981
7. Skolem, Th.: Proof of some theorems on recursively enumerable sets. Notre Dame J. of Formal Logic 3, 65-74 (1962)
8. Takeuti, G.: Proof Theory. second edition. Studies in Logic. Amsterdam: North-Holland 1987