- Record: found
- Abstract: found
- Article: found
A simplified ordinal analysis of first-order reflection
Preprint
2015-06-17
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
In this note we give a simplified ordinal analysis of first-order reflection. An ordinal notation system \(OT\) is introduced based on psi-functions, and a wellfoundedness proof of it is done in terms of distinguished classes. Provable Sigma_{1}-sentences on L_{omega_{1}^{CK}} are bounded through cut-elimination on operator controlled derivations.
Related collections
Most cited references1
- Record: found
- Abstract: not found
- Article: not found
An ordinal analysis of stability
Michael Rathjen (2005)
