Note on a Proof of the Extended Kirby—Paris Theorem on Labeled Finite Trees
- 1 May 1988
- journal article
- Published by Elsevier in European Journal of Combinatorics
- Vol. 9 (3) , 249-253
- https://doi.org/10.1016/s0195-6698(88)80016-7
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- An independence result for (II11-CA)+BIAnnals of Pure and Applied Logic, 1987
- A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagramsThe Journal of Symbolic Logic, 1987
- A new system of proof-theoretic ordinal functionsAnnals of Pure and Applied Logic, 1986
- An accessibility proof of ordinal diagrams in intuitionistic theories for iterated inductive definitionsTsukuba Journal of Mathematics, 1984
- Accessible Independence Results for Peano ArithmeticBulletin of the London Mathematical Society, 1982
- On the restricted ordinal theoremThe Journal of Symbolic Logic, 1944