KIT | KIT-Bibliothek | Impressum
Open Access Logo
DOI: 10.5445/IR/1000079415

Takeuti's First-Order Theory of Ordinals Revisited

Schmitt, Peter H.

These notes contain technical details that could not be fitted into the paper submitted to IJCAR 2018. The conference submission analyses the relationship between Takeuti’s theory of ordinals published in [6] and my theory in the paper [5].

Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Forschungsbericht
Jahr 2018
Sprache Englisch
Identifikator ISSN: 2190-4782
URN: urn:nbn:de:swb:90-794157
KITopen ID: 1000079415
Verlag Karlsruhe
Umfang 22 S.
Serie Karlsruhe Reports in Informatics ; 2018,2
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page