Local stability in structures with a standard sort
Logic
2025-10-27 v1
Abstract
Recently, a classical approach to continuous structures has been proposed in [ABBMZ] and [Z] that extends the class of structures falling under the scope of [HI] or [BBHU]. These articles introduce the notion of structures with a standard sort. We discuss local stability in this context. We examine three variants of the order property which are prima facie non equivalent. For each variant we show that sets externally definable by stable formulas are definable in some appropriate sense.
Cite
@article{arxiv.2510.21498,
title = {Local stability in structures with a standard sort},
author = {Silvia Barbina and Riccardo Camerlo and Domenico Zambella},
journal= {arXiv preprint arXiv:2510.21498},
year = {2025}
}
Comments
16 pages