General real-valued theories with the Schr\"oder-Bernstein property are stable
Logic
2025-10-15 v1
Abstract
We show that every general theory \`a la Keisler with the Schr\"oder-Bernstein property is stable. This generalizes the corresponding result from classical logic due to John Goodrick. Our proof uses the classical result (generalized to the case that the instability is witnessed by an infinitary formula) together with a discretization technique introduced by Keisler and the third-named author. We speculate on how our techniques could be adapted to show that every continuous theory with the Schr\"oder-Bernstein property is stable.
Keywords
Cite
@article{arxiv.2510.11858,
title = {General real-valued theories with the Schr\"oder-Bernstein property are stable},
author = {Alexander Berenstein and Nicolás Cuervo Ovalle and Isaac Goldbring},
journal= {arXiv preprint arXiv:2510.11858},
year = {2025}
}