2 problems

0 votes0 replies0 views
Model-companion conjecture for globally valued fields
Model-companion conjecture. The theory $\operatorname{GVF}_e$ has a model companion for every Archimedean error $e\geq 0$ .
Conjectureopencontinuous-logic globally-valued-fields model-theoryarXiv posted 2 days ago
0 votes0 replies0 views
Model companion conjecture for globally valued fields
A globally valued field (GVF) is a field equipped with the global valuation structure considered in the paper. Model companion conjecture. The theory of GVFs has a model companion;…
Conjectureopenglobally-valued-fields model-theoryarXiv posted 2 days ago

Model-companion conjecture for globally valued fields