Publications > Preprint server > Preprint Number 2177
Preprint Number 2177
2177. Artem Chernikov and Alex Mennen Semi-equational theories E-mail: Submission date: 28 April 2022 Abstract: We introduce and study semi-equational and 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. Mathematics Subject Classification: 03C45 Keywords and phrases: |
Last updated: June 14 2022 19:39 | Please send your corrections to: |