Infinitely Long Terms of Transfinite Type
- 1 January 1965
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Predicative Well-OrderingsStudies in Logic and the Foundations of Mathematics, 1965
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958
- Kennzeichnung von Ordnungszahlen durch rekursiv erklärte FunktionenMathematische Annalen, 1954
- Beweistheoretische Erfassung der unendlichen Induktion in der ZahlentheorieMathematische Annalen, 1950