Registry · Definition I.D80 established formalized

I.D80 — Self-Hosting Degree Classification

Four levels: none, partial, fragment, full. Classifies proof-theoretic self-hosting by internalization depth.

Book I Part 18 Ch. 71

Dependency Graph

Depends on (2)

I.D77 I.R17

Depended on by (2)

I.D82 I.R18

Lean Formalization

Module:

Symbol: