Mathematicians Prove New Rules About Infinite Mathematical Structures
Researchers have solved longstanding questions about how mathematical models can be extended without losing their core properties. The work, published in the Journal of Symbolic Logic, provides tools for understanding the limits and possibilities of formal systems—insights that matter for anyone building verification systems, AI safety frameworks, or formal proof technologies.
Originaltitel: MODELS OF SET THEORY: EXTENSIONS AND DEAD-ENDS
Abstract This article is a contribution to the study of extensions of arbitrary models of $\mathsf {ZF}$ (Zermelo–Fraenkel set theory), with no regard to countability or well-foundedness of the models involved. Our main results include the theorems below; in Theorems A and B, ${\mathcal {N}}$ is said to be a conservative elementary extension of $\mathcal {M}$ if $\mathcal { N}$ elementarily extends $\mathcal {M}$ , and the intersection of every $ {\mathcal {N}}$ -definable set with the universe of $\mathcal {M}$ is $\mathcal {M} $ -definable (parameters allowed). In Theorem B, $\mathsf {ZFC}$ is the result of augmenting $\mathsf {ZF}$ with the axiom of choice. Theorem A. Every model $\mathcal {M}$ of $\mathsf {ZF}+\exists p\left ( \mathrm {V}=\mathrm {HOD}(p)\right ) $ has a conservative elementary extension ${\mathcal {N}}$ that contains an ordinal above all of the ordinals of $\mathcal {M}$ . Theorem B. If ${\mathcal {N}}$ is a conservative elementary extension of a model $\mathcal {M}$ of $ \mathsf {ZFC}$ , and ${\mathcal {N}}$ has the same natural numbers as $\mathcal {M}$ , then $\mathcal {M}$ is cofinal in <jats:tex-mat