Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

ObjectDomainArena

Abstract

A finite collection of readout states can refer to a domain of objects without a finiteness assumption.

Definition 1.1 (Source objects and finite readouts).

Lean statement: D5/S3/ConceptDynamics/InformationEscape/ObjectDomainArena.ObjectDomainArena

Formalization. D5/S3/ConceptDynamics/InformationEscape/ObjectDomainArena.ObjectDomainArena (✓ std3).

Source. Repository-derived.

Commentary.

The domain records the type of objects named by the theorem. The inherited finite arena still supplies states, a typed primitive signature, and a law for the selected realization. No enumeration of the object domain is needed.

References