Fried and Kollár constructed a fully faithful functor from the category of graphs to the category of fields. We give a new construction of such a functor and use it to resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure${\cal S}$, there exists a countable field${\cal F}$of arbitrary characteristic with the same essential computable-model-theoretic properties as${\cal S}$. Along the way, we develop a new “computable category theory”, and prove that our functor and (...) its partially defined inverse are computable functors. (shrink)

The class of all Artinian local rings of length at most l is ∀ 2 -elementary, axiomatised by a finite set of axioms Art l . We show that its existentially closed models are Gorenstein, of length exactly l and their residue fields are algebraically closed, and, conversely, every existentially closed model is of this form. The theory Got l of all Artinian local Gorenstein rings of length l with algebraically closed residue field is model complete and the theory Art (...) l is companionable, with model-companion Got l. (shrink)

The singularity space consists of all germs , with X a Noetherian scheme and x a point, where we identify two such germs if they become the same after an analytic extension of scalars. This is a complete, separable space for the metric given by the order to which jets agree after base change. In the terminology of descriptive set-theory, the classification of singularities up to analytic extensions of scalars is a smooth problem. Over , the following two classification problems (...) up to isomorphism are then also smooth: analytic germs; and polarized schemes. (shrink)