Registry · Proposition VII.P10 tau-effective not_applicable

VII.P10 — Perspectival Gluing Grounds Objectivity

Objectivity is global section over multi-perspectival cover satisfying all inter-observer gluing conditions.

Book VII Part 3 Ch. 37

Dependency Graph

Depends on (1)

VII.D42

Lean Formalization

Module:

Symbol: