Worms and Spiders: Reflection calculi and ordinal notation systems

2016/05/28 by Fernández-Duque, David
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/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.

Related

• Ordinal Notation
• On Elementary Theories of Ordinal Notation Systems based on Reflection\n Principles
• Polymorphic Ordinal Notations
• Proof theory for theories of ordinals III: Π_N-reflection
• Well-foundedness proof for first-order reflection