Showing math.LOShow all
4 papers · 1 filter
math.LO2026
Remarks on Primitive Regulation
Milan Rosko
We prove, and mechanize in Rocq, an obstruction to closure-level Excluded Middle for primitive regulators over the closed implication-falsity…
math.LO2025
An Intuitionistic Glance at Primes
Milan Rosko
This paper gives a proof-theoretic account of how positive integers must be classified as , prime, or composite in intuitionistic logic. Compositehood is expressed in by…
math.LO2025
On the Golden Ratio and Stable Self-Application
Milan Rosko
This paper studies a boundary between local self-application and global self-certification. Irrational quantities are treated operationally, as procedures whose approximations are…
math.LO2025
Considering The Satisfiability of Cubic Diophantine Equations
Milan Rosko
Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter , syntactic proof checking at resource level is faithfully represented by a finite…