Registry · Definition I.D25 established formalized

I.D25 — Omega-Tail (Compatible Tower)

Compatible tower (x_k) on the primorial ladder M_k = prod of first k primes, with reduction maps. Pre-topological boundary data on bare-metal ontic elements. Polarity is a tail-stable predicate on omega-tails.

Book I Part 7 Ch. 28

Dependency Graph

Depends on (1)

Depended on by (9)

Lean Formalization

Module: TauLib.BookI.Polarity.OmegaGerms

Symbol: Tau.Polarity.OmegaTail