14 problems

Let $K$ be a field in the ring language, and let $n$ be a positive integer. A theory is n-distal when it satisfies the corresponding $n$-ary distality condition. n-distal field con…

O-minimal field conjecture. Any infinite field trace definable in an o-minimal structure is real closed or algebraically closed of characteristic zero.

A field is viewed as a structure in the pure ring language, and $n$-dependence is understood in the model-theoretic sense. Chernikov's field conjecture. If a field is $n$-dependent…

The paper considers motivic cohomology groups $\operatorname H_{\mathrm M}^{n,i}(K)$ of a field $K$, with $\delta(K)$ denoting its Kronecker dimension. Growth-control conjecture. F…

Let $n\geqslant 2$. A pure field is a field considered only in the language of rings, and a theory is strictly NIP$_n$ when it is NIP$_n$ but has IP$_{n-1}$. The NIP$_n$ Fields Con…

No strictly $n$-dependent fields conjecture. There are no strictly $n$-dependent fields for $n\geq 2$.

Let ${\mathscr{F}}$ be an expansion of an infinite field $F$. A family ${\mathcal X}$ of subsets of $F$ is directed when any two members have a common member containing their union…

Let $\oplus$ and $\otimes$ be binary operations on $\mathbb{N}$ such that $(\mathbb{N},\oplus,\otimes)$ is a field. Ordered-field IP conjecture. The expansion…

Let ${\mathscr{R}}$ be an NIP expansion of $(\mathbb{R},<,+)$ by closed subsets of Euclidean space. A definable set has dimension zero when its dimension in the paper's dimension t…

Let ${\mathscr{R}}$ be an NIP expansion of $(\mathbb{R},<,+)$ by closed subsets of Euclidean space. Call ${\mathscr{R}}$ field-type when it satisfies condition (1): there is a none…

Let $G$ be a group. The theory $G$-$\operatorname{TCF}$ is the model companion theory for fields equipped with an action of $G$. A group is locally virtually free if every finitely…

Let $G$ be a finitely generated group. The theory $G$-$\operatorname{TCF}$ is the model companion theory for fields equipped with an action of $G$. A group is virtually free if it…

PRC and PpC NTP2 conjecture. A PRC field is $\operatorname{NTP}_{2}$ if and only if it is bounded. Similarly, a PpC field is $\operatorname{NTP}_{2}$ if and only if it is bounded.

Algebraic-or-real-closed field conjecture. The field $K$ is either algebraically closed or real closed.