Closes the missing direction of an open question on incomparability of two induction theories via a short syntactic argument and extracts the Syntactic Invariance Principle.
o del. \
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
verdicts
UNVERDICTED 4representative citing papers
An obstruction theorem establishes that Eval(C), MP(C), Cons(C), and LEM(C) are jointly incompatible for any closure predicate C on formulas built from bottom and implication.
Defines an injective carryless pairing map on naturals using disjoint Zeckendorf index bands separated by an x-derived delimiter, with Rocq-mechanized correctness.
Quantum probability is the fixed-spacetime projection of contextual spacetime formation under finite-state requirements.
citing papers explorer
-
Remarks on Primitive Regulation
An obstruction theorem establishes that Eval(C), MP(C), Cons(C), and LEM(C) are jointly incompatible for any closure predicate C on formulas built from bottom and implication.
-
Carryless Pairing: Additive Pairing in the Fibonacci Basis
Defines an injective carryless pairing map on naturals using disjoint Zeckendorf index bands separated by an x-derived delimiter, with Rocq-mechanized correctness.