Predicative Well-Orderings
- 1 January 1965
- book chapter
- Published by Elsevier in Studies in Logic and the Foundations of Mathematics
- Vol. 40, 280-303
- https://doi.org/10.1016/s0049-237x(08)71694-x
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Kennzeichnung von Ordnungszahlen durch rekursiv erklärte FunktionenMathematische Annalen, 1954
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen ZahlentheorieMathematische Annalen, 1943
- Continuous increasing functions of finite and transfinite ordinalsTransactions of the American Mathematical Society, 1908