Registry · Proposition VII.P06 tau-effective formalized

VII.P06 — Temporal Ordering from Persistence

Persistence relation on NF-addresses induces partial order on temporal configurations; time is derived.

Book VII Part 2 Ch. 24

Dependency Graph

Depends on (1)

VII.D32

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.temporal_ordering_from_persistence