Well-foundedness proof for first-order reflection
arXiv:1506.05280
Abstract
In this note we give a wellfoundedness proof of a computable notation system for first-order reflection.
arXiv:1506.05280
In this note we give a wellfoundedness proof of a computable notation system for first-order reflection.