Geometrical axiomatization for model complete theories of differential topological fields
scientific article; zbMATH DE number 5129045