Proof-theoretic strengths of the well ordering principles
Logic
2019-05-22 v7
Abstract
In this note the proof-theoretic ordinal of the well-ordering principle for the normal functions on ordinals is shown to be equal to the least fixed point of . Moreover corrections to the previous paper are made.
Cite
@article{arxiv.1811.09964,
title = {Proof-theoretic strengths of the well ordering principles},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:1811.09964},
year = {2019}
}
Comments
arXiv admin note: text overlap with arXiv:1704.08790