3 papers
math.LO2026
Carryless Pairing: Additive Pairing in the Fibonacci Basis
Milan Rosko
We define a pairing map that encodes and into two disjoint bands of Zeckendorf indices separated by a delimiter computed from…
math.LO2025
Adversarial Barrier in Uniform Class Separation
Milan Rosko
We identify a strong structural obstruction to Uniform Separation in constructive arithmetic. The mechanism is independent of semantic content; it emerges whenever two distinct eva…
math.LO2025
A Constructive Fragment of Physical Propositions
Milan Rosko
We develop a proof-theoretic analysis of the Operational Standard of Matsas, Pleitez, Saa, Vanzella (2024) showing that admissible measurement in Minkowski Spacetime yields only fi…