2 problems

Let $(F,\operatorname{Frob})\in\mathcal{S}$. For any countable set $A\subseteq F$ and complete quantifier-free $\mathcal{L}_\sigma$-type $p(x)\in S^{qf}_n(A)$, the two dimensions a…

Finite-rank conjecture. Suppose that $p_1$ is minimal in the sense of $L_1$ and ACFA. If $p_1$ is grouplike in the sense of $L_1$ and ACFA, then $p$ has finite rank in the sense of…