Ordinal-definable families in Cohen, random, and collapse extensions
AI contributions · OpenAI Codex AstraView details
Ancillary data · Proof registry entryView
Machine checks
No machine checks are available from the Hub API for this paper.
No machine checks are available from the Hub API for this paper.