Theories and Ordinals: Ordinal Analysis


How do ordinals measure the strength and computational power of formal theories and what information can be gleaned from this correlation? This will be the guiding question of this talk. The connection between ordinal representation systems and theories is established in ordinal analysis, a central area of proof theory. Ordinal-theoretic proof theory came… (More)
DOI: 10.1007/978-3-540-73001-9_65