Appendix D: Glossary of Defined Terms
Appendix D: Glossary of Defined Terms
| Absolute value. A function $ | \cdot | : K \to \mathbb{R}_{\geq 0}$ on a field satisfying positive definiteness, multiplicativity, and triangle inequality. Quantifies distinction magnitude. [Ch. 1, 2] |
Act of distinction. The primitive operation of separating a space into inside and outside. The foundational act from which all mathematical and physical structure emerges. [Ch. 1]
Additive character. $\chi(x) = e^{2\pi i {x}_p}$ from $\mathbb{Q}_p$ to $\mathrm{U}(1)$. Harmonic analysis on the distinction tree. [Ch. 6]
Adele ring $\mathbb{A}_\mathbb{Q}$. Restricted direct product of all completions of $\mathbb{Q}$; the space of all distinctions at all primes simultaneously. Locally compact topological ring. [Ch. 8]
Adelic quantum mechanics. QM formulated on $\mathbb{A}_\mathbb{Q}$ — dynamics on the total distinction space. [Ch. 8]
Archimedean. Satisfying standard triangle inequality $d(x,z) \leq d(x,y) + d(y,z)$ — the logic of additive distinctions. [Ch. 0, 1, 2]
Bounded Algorithmic Number (BAN). $p$-adic representation as (valuation, digits) for exact distinction-preserving arithmetic. [Ch. 14]
Bruhat-Tits tree $T_{N,q}$. $(N+1)$-regular tree with edge weight $\log q$; the geometric realization of $p$-adic distinction spaces. [Ch. 5]
Cauchy sequence. Terms eventually arbitrarily close: distinctions between terms vanish at the limit. [Ch. 2]
Complete metric space. Every Cauchy sequence converges — no missing distinctions. [Ch. 2]
Distinction (Spencer-Brown mark). The act of separating a space into inside and outside, creating a boundary. The fundamental ontological unit in this framework. [Ch. 1]
Field. Ring where every non-zero element has a multiplicative inverse. [Ch. 1]
Group $(G,\star)$. Set with associative binary operation (composition of distinctions), identity (unmarked state), and inverses (undoing distinctions). [Ch. 1]
Haar measure. Unique translation-invariant measure on a locally compact group — the natural measure on distinction spaces. [Ch. 6]
Hensel’s Lemma. $p$-adic Newton’s method: lifting approximate distinctions (roots mod $p$) to exact distinctions (roots in $\mathbb{Z}_p$). [Ch. 4, A.4]
Hierarchy problem. $10^{34}$ EW-Planck disparity, resolved geometrically by distinction depth. [Ch. 10]
Law of Calling. Spencer-Brown: the value of a call made again is the value of the call. Repeated identical distinctions collapse to one. [Ch. 1]
Law of Crossing. Spencer-Brown: the value of a crossing made again is not the value of the crossing. A distinction inside a distinction returns to the unmarked state. [Ch. 1]
Laws of Form. Spencer-Brown’s (1969) calculus of distinctions — a foundation for mathematics prior to set theory, generated by the single primitive act of drawing a distinction. [Ch. 1]
Locally constant function. Function constant on neighborhoods; $p$-adic analogue of smoothness — insensitive to distinctions beyond a certain depth. [Ch. 6]
Metric $d$. Distance function satisfying identity of indiscernibles (no distance = no distinction), symmetry, and triangle inequality. [Ch. 2]
Monna map $M_p$. Projection $\mathbb{Q}_p \to \mathbb{R}$ inverting $p$-adic expansion; models measurement as the lossy projection of $p$-adic distinctions onto Archimedean coordinates. [Ch. 6]
Nested distinctions. Distinctions placed inside other distinctions, forming a hierarchy. The fundamental structure from which trees and ultrametric spaces emerge. [Ch. 1]
Non-Archimedean. Satisfying strong (ultrametric) triangle inequality — the logic of nested distinctions. [Ch. 3]
| Ostrowski’s Theorem. Every non-trivial absolute value on $\mathbb{Q}$ is equivalent to $ | \cdot | _\infty$ or some $ | \cdot | _p$. Only two families of consistent distinction measurement exist. [Ch. 4, A.3] |
| $p$-adic absolute value. $ | x | _p = p^{-v_p(x)}$; measures distinction by prime $p$ — deep distinctions are small. [Ch. 4] |
| $p$-adic numbers $\mathbb{Q}_p$. Completion of $\mathbb{Q}$ w.r.t. $ | \cdot | _p$; the space of all possible $p$-distinctions. [Ch. 4] |
Product formula. $\prod_v |x|_v = 1$ for $x \in \mathbb{Q}^\times$; the conservation law of distinctions across all completions. [Ch. 8, A.5]
Scaling ratio $q$. Positive real $q > 0, q \neq 1$, representing the scale separation between adjacent distinction levels. [Ch. 3-5]
Strong triangle inequality. $d(x,z) \leq \max{d(x,y), d(y,z)}$; defines ultrametricity. The algebraic signature of nested distinctions. [Ch. 3]
Thermodynamic wall. Scaling limit of active quantum error correction due to cryogenic cooling constraints, rooted in the Archimedean triangle inequality. [Ch. 13]
Ultrametric. Metric satisfying strong triangle inequality; the geometry of nested distinctions, hierarchies, and trees. [Ch. 3]
van der Put Neural Network (v-PuNN). Neural network mirroring tree structure for distinction-preserving readout. [Ch. 14]
| Vladimirov operator $D_p^\alpha$. $p$-adic pseudodifferential operator (the distinction-tree Laplacian); Fourier multiplier $ | \xi | _p^\alpha$. [Ch. 6] |
Wheeler-DeWitt equation. $\hat{H}\Psi[g] = 0$, fundamental equation of canonical quantum gravity; discretized on distinction trees. [Ch. 12]