T Hyttinen, K Kangas - Archive for Mathematical Logic, 2023 - Springer
… In the future, we aim to investigate whether some of the results that hold in ACFA could be …
For example, if \(a, b \in {\mathbb {Q}}\), then we can write a formula \(\phi (x,y) \in {\mathcal {E}}…