Automatic Ordinals

International Journal of Unconventional Computing 9, 1-2 (2013) 61-70 We prove that the injectively omega-tree-automatic ordinals are the ordinals smaller than $\omega^{\omega^\omega}$. Then we show that the injectively $\omega^n$-automatic ordinals, where $n>0$ is an integer, are the ordinals sm...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Finkel, Olivier, Todorcevic, Stevo
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Logic in Computer Science Mathematics - Logic
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!