Worms and Spiders: Reflection calculi and ordinal notation systems
Logic
2017-10-04 v3
Abstract
We give a general overview of ordinal notation systems arising from reflection calculi, and extend the to represent impredicative ordinals up to those representable using Buchholz-style collapsing functions.
Cite
@article{arxiv.1605.08867,
title = {Worms and Spiders: Reflection calculi and ordinal notation systems},
author = {David Fernández-Duque},
journal= {arXiv preprint arXiv:1605.08867},
year = {2017}
}