Pith. sign in
theorem

rsField_phi_zpow

proved
show as:
module
IndisputableMonolith.Foundation.PrimitiveRecognitionCalculus.PRCMinimalField
domain
Foundation
line
143 · github
papers citing
none yet

plain-language theorem explainer

Every integer power of the golden ratio φ lies in the minimal RS subfield of the reals generated by the named constants. Anyone treating the φ-ladder (scaffold of the RS mass law) as countable-field content rather than continuum content cites this. The proof is a one-line subfield-closure step: once φ is in the field, all integer powers follow.

Claim. For every integer $n$, $\varphi^n$ belongs to the minimal Recognition Science field (the subfield of $\mathbb{R}$ generated by the named RS constants).

background

The minimal RS field is the subfield of $\mathbb{R}$ obtained by closing the finite set of named RS constants under field operations. By construction it contains the prime field $\mathbb{Q}$, and it is exactly $\mathbb{Q}$ adjoined with those constant values. Among the generators is the golden ratio $\varphi$, forced in the Recognition chain as the self-similar fixed point (T6).

Membership of $\varphi$ itself is already recorded: $\varphi$ lies in the closure of the constant set. Subfields of $\mathbb{R}$ are closed under inversion of nonzero elements and under multiplication, hence under all integer powers. The present statement packages that closure for the $\varphi$-ladder specifically.

In the local module the point is structural: the entire discrete ladder used by the RS mass formula is content of a countable subfield, not an appeal to the continuum.

proof idea

One-line term proof. Apply the standard subfield lemma that integer powers of an element stay in the subfield, feeding the already-proved fact that $\varphi$ itself belongs to the minimal RS field. No further arithmetic is needed.

why it matters

This is the rung-by-rung generator for the mass ladder inside the countable field. The immediate parent multiplies an arbitrary field element (the yardstick) by $\varphi^n$ and concludes the product stays in the field; with the yardstick itself a constant, every RS mass-spectrum rung is a countable-field element.

It is also the first conjunct of the sharpened "scaffold below continuum" claim: the working machinery (full integer $\varphi$-ladder, eight-tick period, spatial dimension $D=3$) lives in a proper countable subset of $\mathbb{R}$. That claim feeds the shrunk $\delta$-program certificate as the scaffold-in-field headline.

Framework landmarks: T6 forces $\varphi$; the mass formula is yardstick times $\varphi$ to a rung offset; the eight-tick octave and $D=3$ sit beside this ladder in the same countable package. No open scaffold remains here; the theorem is fully proved.

Switch to Lean above to see the machine-checked source, dependencies, and usage graph.