Worms and Spiders: Reflection calculi and ordinal notation systems
arXiv:1605.08867
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.