FORKING, IMAGINARIES, AND OTHER FEATURES OF
We study the generic theory of algebraically closed fields of fixed positive characteristic with a predicate for an additive subgroup, called $\mathrm {ACFG}$ . This theory was introduced in [16] as a new example of $\mathrm {NSOP}_{1}$ nonsimple theory. In this paper we describe more features of $\...
Gespeichert in:
Veröffentlicht in: | The Journal of symbolic logic 2021-06, Vol.86 (2), p.669-700 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | eng |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | We study the generic theory of algebraically closed fields of fixed positive characteristic with a predicate for an additive subgroup, called
$\mathrm {ACFG}$
. This theory was introduced in [16] as a new example of
$\mathrm {NSOP}_{1}$
nonsimple theory. In this paper we describe more features of
$\mathrm {ACFG}$
, such as imaginaries. We also study various independence relations in
$\mathrm {ACFG}$
, such as Kim-independence or forking independence, and describe interactions between them. |
---|---|
ISSN: | 0022-4812 1943-5886 |
DOI: | 10.1017/jsl.2021.34 |