Registry · Definition I.D82 established formalized

I.D82 — Enrichment Frontier Classification

Three statuses: achieved (E0-E1), partially achieved (E1-E2), unprecedented (E2-E3).

Book I Part 18 Ch. 73

Dependency Graph

Depends on (2)

I.D80 I.T39

Depended on by (5)

I.R20 I.R21 II.D58 II.R14 II.R16

Lean Formalization

Module: TauLib.BookI.MetaLogic.StructuralExclusion

Symbol: EnrichmentFrontierStatus