Mathematical Logic Foundations

Research Frontiers in Recursive Ordinals and Ordinal Notations

Investigates recursive representations of ordinals, analyzing Bachmann-Howard ordinals and notational systems for proof-theoretic strength measurement.

All Mathematical Logic & Foundations PhD categories