1 paper · 1 filter
Hunter Monroe
The paper investigates when a sound arithmetic theory can efficiently prove bounded consistency statements of its own extensions, providing constraints on such simulations and prop…