Beziehungen des Ordinalzahlensystems OT(ϑ) zur Veblen-Hierarchie

DOI10.1007/978-3-030-49424-7_23OpenAlexW3048468740MaRDI QIDQ5013915

Kurt Schütte

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_23

Mathematics Subject Classification ID

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

Cites Work

• Proof-theoretic investigations on Kruskal's theorem
• Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse
• Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
• Unnamed Item

This page was built for publication: Beziehungen des Ordinalzahlensystems OT(ϑ) zur Veblen-Hierarchie