Provably well-founded strict partial orders
Logic
2023-03-28 v1
Abstract
In this note we show through infinitary derivations that each provably well-founded strict partial order in admits an embedding to an ordinal.
Keywords
Cite
@article{arxiv.2303.14271,
title = {Provably well-founded strict partial orders},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:2303.14271},
year = {2023}
}