Registry · Definition I.D76 established formalized

I.D76 — Omega-Germ Approach

Omega-germs as approaches to infinity: compatible towers on the primorial ladder encode how a sequence approaches omega. Replaces the cardinality hierarchy with a single structural concept of asymptotic approach.

Book I Part 9 Ch. 38

Dependency Graph

Depends on (3)

Depended on by (6)

Lean Formalization

Module: TauLib.BookI.Sets.UniqueInfinity

Symbol: Tau.Sets.omega_germ_approach