5 papers
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…
The Solver's Paradox in Formal Problem Spaces
Milan Rosko
This paper investigates how global decision problems over arithmetically represented domains acquire reflective structure through class-quantification. Arithmetization forces diago…
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…
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…
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…