Recursion theory on fields and abstract dependence
lattice of r.e. algebraically closed subfields of an effective algebraically closed field of countably infinite transcendence degree
recursively presented Steinitz closure systems
scientific article; zbMATH DE number 3735793