Registry · Definition VI.D76 tau-effective not_formalized

VI.D76 — Distinction Threshold

Minimum complexity budget T = 8 for simultaneous instantiation of tau-Distinction (5 conditions) and SelfDesc (3 conditions).

Book VI Part 2 Ch. 14

Dependency Graph

Depended on by (2)

VI.D77 VI.T44

Lean Formalization

Module:

Symbol: