A well-ordering proof for Feferman's theoryT 0
- 1 December 1983
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 23 (1) , 65-77
- https://doi.org/10.1007/bf02023014
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Constructive Theories of Functions and ClassesPublished by Elsevier ,1979
- Provable wellorderings of formal theories for transfinitely iterated inductive definitionsThe Journal of Symbolic Logic, 1978
- Proof TheoryPublished by Springer Nature ,1977
- Normalfunktionen und Konstruktive Systeme von OrdinalzahlenPublished by Springer Nature ,1975