From the 1 of 3 linked papers with an AI index.
3 papers
cs.CC2026
Toward a Characterization of Simulation Between Arithmetic Theories
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…
cs.CC2026
Hardness as an Information Constraint: A Unifying Meta-Complexity Assumption
Hunter Monroe
Monroe (2026) shows that, if no optimal proof system exists, then every sound arithmetic theory S extending S^1_2 with polynomial-time decidable axioms fails, for all sufficiently…
cs.CC2025
A Proposed Characterization of p-Simulation Between Theories
Hunter Monroe
This paper proposes a characterization of when one axiomatic theory, as a proof system for tautologies, -simulates another, by showing: (i)~if c.e. theory efficien…