… and so on: Schütte on Naming Ordinals

DOI10.1007/978-3-030-49424-7_3OpenAlexW3048594226MaRDI QIDQ5013893

John N. Crossley

Publication date: 3 December 2021

Published in: The Legacy of Kurt Schütte (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-49424-7_3

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• And so on \dots : reasoning with infinite diagrams
• Proof theory. 2nd ed
• Theories and ordinals in proof theory
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
• How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems
• Natural well-orderings
• Π12-logic, Part 1: Dilators
• A simplification of the Bachmann method for generating large countable ordinals
• Natural well-orderings
• Systems of predicative analysis, II: Representations of ordinals
• A survey of proof theory
• Non-uniqueness at ω2 in Kleene'sO
• Describing ordinals using functionals of transfinite type
• Adapting Proofs-as-Programs
• On notation for ordinal numbers
• An undecidable arithmetical statement
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item