Provably well-founded strict partial orders
Abstract
In this note we show through infinitary derivations that each provably well-founded strict partial order in ${\rm ACA}_{0}$ admits an embedding to an ordinal$<\varepsilon_{0}$.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2023
- DOI:
- arXiv:
- arXiv:2303.14271
- Bibcode:
- 2023arXiv230314271A
- Keywords:
-
- Mathematics - Logic;
- 03F99