Registry · Definition I.D15 established formalized

I.D15 — Three-Level Equality

Three levels of sameness: (1) ontic identity (primitive), (2) address equivalence (decidable, NF-based), (3) shadow equality (external VM readout).

Book I Part 3 Ch. 14

Dependency Graph

Depends on (2)

I.T01 I.D07

Depended on by (3)

I.D84 I.D88 I.T46

Lean Formalization

Module: TauLib.BookI.Denotation.Equality

Symbol: Tau.Denotation.Equality