Ordinal-definable families in Cohen, random, and collapse extensions
AI contributions · OpenAI Codex AstraView details
Ancillary data · Proof registry entryView
Versions
Every version keeps its own PDF, citation, and review record — endorsements are bound to the version they examined and never carry forward silently.