具有施韦尔伯斯坦性质的一般实值理论是稳定的
逻辑
2025-10-15 v1
摘要
我们证明，所有符合 Keisler 风格的具有施韦尔伯斯坦性质的一般理论都是稳定的。这概括了约翰·古里克 (John Goodrick) 在经典逻辑中的相应结果。我们的证明使用了（推广到由无限公式 witness instability 的情况）的经典结果，以及 Keisler 与第三位作者引入的离散化技术。我们推测这些技术如何可被改编以表明每个连续理论具有施韦尔伯斯坦性质都是稳定的。
引用
@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}
}