Computable Quantification in Reflective Grounded Arithmetic

arXiv:2607.25533 · math.LO, cs.LO, cs.PL · Submitted 2026-07-28 · Read on arXiv

math.LO, cs.LO, cs.PL

Submitted: 2026-07-28

Updated: 2026-10-20

Terminology

• Abstraction — 1× in this paper · explained in 1 episode
• Consistency — 1× in this paper · explained in 3 episodes

Related papers

• Classification of bipartite observables III: simplicity, mixtures and quantum error correction
• Proof verification by polynomial Fingerprinting