No CrossRef data available.
Article contents
GENERIC EXPANSIONS OF GEOMETRIC THEORIES
Published online by Cambridge University Press: 18 April 2024
Abstract
As a continuation of ideas initiated in [19], we study bi-colored (generic) expansions of geometric theories in the style of the Fraïssé–Hrushovski construction method. Here we examine that the properties $NTP_{2}$, strongness,
$NSOP_{1}$, and simplicity can be transferred to the expansions. As a consequence, while the corresponding bi-colored expansion of a red non-principal ultraproduct of p-adic fields is
$NTP_{2}$, the expansion of algebraically closed fields with generic automorphism is a simple theory. Furthermore, these theories are strong with
$\operatorname {\mathrm {bdn}}(\text {"}x=x\text {"})=(\aleph _0)_{-}$.
Keywords
MSC classification
- Type
- Article
- Information
- Copyright
- © The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
References
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513114924327-0032:S0022481224000306:S0022481224000306_inline1317.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513114924327-0032:S0022481224000306:S0022481224000306_inline1318.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513114924327-0032:S0022481224000306:S0022481224000306_inline1319.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513114924327-0032:S0022481224000306:S0022481224000306_inline1320.png?pub-status=live)