Two First-Order Theories of Ordinals
Part of the Lecture Notes in Computer Science book series (LNCS, volume 12180)
- 26 Downloads
This paper compares a first-order theory of ordinals proposed by the author to the theory published 1965 by Gaisi Takeuti. A clarification of the relative deductive strength of the two theories is obtained.
- 4.Schmitt, P.H.: Takeuti’s first-order theory of ordinals revisited. Technical report 2, Department of Informatics, Karlsruhe Institute of Technology (2018)Google Scholar
- 7.Ulbrich, M.: Dynamic Logic for an intermediate language: verification, interaction and refinement. Ph.D. thesis, Karlsruhe Institute of Technology, June 2013. http://nbn-resolving.org/urn:nbn:de:swb:90-411691
© Springer Nature Switzerland AG 2020