SEMI-EQUATIONAL THEORIES Article Swipe
Related Concepts
Artem Chernikov
,
Alex Mennen
·
YOU?
·
· 2023
· Open Access
·
· DOI: https://doi.org/10.1017/jsl.2023.28
· OA: W4376112652
YOU?
·
· 2023
· Open Access
·
· DOI: https://doi.org/10.1017/jsl.2023.28
· OA: W4376112652
We introduce and study (weakly) semi-equational theories, generalizing equationality in stable theories (in the sense of Srour) to the NIP context. In particular, we establish a connection to distality via one-sided strong honest definitions; demonstrate that certain trees are semi-equational, while algebraically closed valued fields are not weakly semi-equational; and obtain a general criterion for weak semi-equationality of an expansion of a distal structure by a new predicate.
Related Topics
Finding more related topics…