Well-foundedness proof for first-order reflection
Logic
2019-04-03 v4
Abstract
In this note we give a wellfoundedness proof of a computable notation system for first-order reflection.
Keywords
Cite
@article{arxiv.1506.05280,
title = {Well-foundedness proof for first-order reflection},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:1506.05280},
year = {2019}
}