Model-companion conjecture for globally valued fields
Model-companion conjecture. The theory GVFe\operatorname{GVF}_eGVFe has a model companion for every Archimedean error e≥0e\geq 0e≥0.
MathDB