Year: 2019
Type: preprint
Abstract: We begin a systematic development of structure theory for a first order theory, which is stable over a monadic predicate. We show that stability over a predicate implies quantifier free definability of types over stable sets, introduce an independence notion and explore its properties, prove stable amalgamation results, and show that every type over a model, orthogonal to the predicate, is generically stable.
Source: arXiv (Cornell University)
Authors: Shelah, Saharon, Usvyatsov, Alexander
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Award: G1931478232
OpenAlex ID: W2981394142