Registry · Proposition
I.P37
established
formalized
I.P37 — Ultrametric Replaces Cardinality
The ultrametric structure on omega-germs (primorial divergence depth) replaces the cardinality hierarchy. Size distinctions between infinite sets are replaced by depth-of-agreement distinctions between omega-germs.