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. \
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
representative citing papers
Defines an injective carryless pairing map on naturals using disjoint Zeckendorf index bands separated by an x-derived delimiter, with Rocq-mechanized correctness.
citing papers explorer
-
Syntactic Systems Cannot See Semantic Invariants
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.
-
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.
- Remarks on Primitive Regulation