Worms and Spiders: Reflection calculi and ordinal notation systems

Publication date: 28 May 2016

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.

Has companion code repository: https://gitlab.com/ana-borges/wormscoq

This page was built for publication: Worms and Spiders: Reflection calculi and ordinal notation systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6274056)