Number Systems as Stratified Distinction Operations: An Enclosure Hierarchy over the Mark

In the paper's words

We develop a formal sketch of the conjecture that the major number systems arise from successive primitive acts of distinction applied to a Laws-of-Form-like mark. We model each historical-cognitive stage — tallying (N), ratio comparison (Q), convergent sequences (computable reals), lossy projection of a tree-like limit (the continuum), phase enclosure (C), divisibility enclosure (Q_p), and simultaneous valuations (the adeles) — as the closure of the previous stage under a single enclosure operator E_i. For each stratum we state the minimal algebraic structure the operator generates, define the inter-stratum morphisms, and introduce a quantitative information-loss functional Λ measuring the distinguishable-state deficit of a projection between adjacent strata, with the Monna map from a p-adic tree to the real line as the canonical example. [...]

The abstract, verbatim, and its opening sentence is the claim. Every line below is quoted from the text.

Numbers it reports

1. As a check, the ratio form gives the same answer: $$\Lambda_{\text{Monna}} = \log_2\!\left(\frac{N_6(10)}{N_{\mathbb{R}}(\varepsilon)}\right) = \log_2\!\left(\frac{1024}{8}\right) = \log_2(128) = 7,$$ and $2^7 = 128$ confirms the ratio.

   from 4. Analysis

2. The finite adele-type product of Derivation 6 is a toy: the true adele ring uses a restricted product with the real factor, and our count of $30$ says nothing about its topology.

   from 6. Discussion

How it is done

1. For (iii) we propose a distinguishable-state count per stratum and a loss functional $\Lambda$, and we compute it explicitly for the tree-to-continuum projection — the "Monna map" of [10] — in Section 4.

   from 1. Introduction

2. The epistemological motivation comes from the Adelic Physics Program [9], which proposes that the physically accessible base field of physics is $\mathbb{Q}$, not $\mathbb{R}$, and that Ostrowski's theorem demands all $p$-adic completions of $\mathbb{Q}$ be physically meaningful; that paper supplies the epistemological and pedagogical infrastructure for taking the $p$-adic branch as primary rather than peripheral.

   from 2. Background and Related Work

3. For the Monna projection $\pi_M$ from a depth-$n$, base-$p$ tree to a real line at precision $\varepsilon$, we compute $\Lambda$ explicitly in Section 4.

   from 3.3 Morphisms and the loss functional

4. All inputs below are either definitions of Section 3 or stated here; every arithmetic step is shown.

   from 4. Analysis

What would falsify it

1. Following the discipline of [12], each recovery claim is a conjecture with a stated falsifier.

   from 3.4 Falsifiability conditions

2. We situate the program against the QFNO stratigraphy literature and adjacent work on noncanonical number systems, stratified $\beta$-numbers, and $p$-adic congruence phenomena, and state falsifiability conditions.

   from Abstract

3. We prove (in the elementary but fully explicit sense of Section 4) the state-count formulas for the tally, enclosure, and $p$-adic strata, derive the loss budget for the Monna projection at finite depth, and state the recovery claims for the higher strata as conjectures with falsifiability conditions.

   from 1. Introduction

Where the claim stops

1. The Monna map analysis assumes the tree is exactly a $p$-adic ball in state count; a general tree-like limit structure might have different branching profiles, changing $\Lambda$.

   from 6. Discussion

2. The present paper adopts exactly this stratum list, extends it through $\mathbb{C}$, $\mathbb{Q}_p$, and $\mathbb{A}$, and adds the quantitative loss functional that [10] does not supply; the summary of [10] is truncated mid-list, so we cannot attribute to it any strata beyond $\mathbb{R}_{\mathrm{comp}}$ and treat our extension as our own conjecture.

   from 2. Background and Related Work

3. Among the arXiv sources, the most structurally relevant is [6] on noncanonical number systems in the integers: it investigates whether every integer can have a finite expansion on a given integer base $b$ when the digit set does not contain $0$, proves that such digit sets exist, and provides infinitely many examples for every base $b$ with $|b| \ge 4$.

   from 2. Background and Related Work

Where to read

1. Abstract204 words · 1 min
2. 1. Introduction389 words · 2 min
3. 2. Background and Related Work873 words · 4 min
4. 3. Methods576 words · 3 min
5. 4. Analysis453 words · 2 min
6. 5. Results317 words · 1 min
7. 6. Discussion528 words · 2 min
8. 7. Conclusion115 words · 1 min
9. Appendix A. Divergence report432 words · 2 min
10. Appendix B. Claim attribution246 words · 1 min