MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 910
Preprint Number 910
910. Alice Medvedev QACFA E-mail: Submission date: 25 August 2015. Abstract: We show that many nice properties of a theory T follow from the
corresponding properties of its reducts to finite subsignatures. If { T_i
}_{i in I} is a directed family of conservative expansions of first-order
theories and each T_i is stable (respectively, simple, rosy, dependent,
submodel complete, model complete, companionable), then so is the union T :=
\cup_i T_i. In most cases, (thorn)-forking in T is equivalent to
(thorn)-forking of algebraic closures in some T_i. Mathematics Subject Classification: 03C60, 12H10 (Primary) Keywords and phrases: |

Last updated: August 29 2015 11:11 | Please send your corrections to: |