3 papers
math.LO2025
Adversarial Problems and the Limits of Uniform Resolution
Milan Rosko
A general method of resolution can take part in forming problems once their language represents the method itself. A fixed formation rule gives each sound resolver a presentation i…
math.LO2025
Operational Evidence and Incompleteness: A Minkowski Radar Model
Milan Rosko
A uniformly computable family of stationary reflector distances makes finite radar verification of a strict bound equivalent to halting. Every fixed-precision protocol terminates.…
math.LO2025
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…