5 problems

Model-companion conjecture. The theory $\operatorname{GVF}_e$ has a model companion for every Archimedean error $e\geq 0$.

Let $\mathcal{T}$ be the class of $\aleph_0$-categorical, $\aleph_0$-stable classical theories in countable languages, and let $\mathcal{D}\subseteq\mathcal{T}$ consist of those th…

Let $Q$ be an $\aleph_0$-categorical, $\aleph_0$-stable theory in a countable language, and let $Q_P$ denote the theory of beautiful pairs of models of $Q$. Approximate categoricit…

Zilber's theorem for continuous logic. Whenever $T$ is an $\aleph_0$-categorical $\aleph_0$-stable theory (in a countable language), $T_P$ is $\aleph_0$-categorical up to arbitrari…

Zilber's theorem for continuous logic, naïve version. Every $\aleph_0$-categorical $\aleph_0$-stable theory is SFB.