Repository | Journal | Volume | Articles
(2006) Synthese 148 (3).
How do ordinals measure the strength and computational power of formal theories? This paper is concerned with the connection between ordinal representation systems and theories established in ordinal analyses. It focusses on results which explain the nature of this connection in terms of semantical and computational notions from model theory, set theory, and generalized recursion theory.
Publication details
DOI: 10.1007/s11229-004-6297-0
Full citation:
Rathjen, M. (2006). Theories and ordinals in proof theory. Synthese 148 (3), pp. 719-743.