On algebraic extensions and algebraic closures of superfields

Abstract

Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfield has a (unique up to isomorphism) strong algebraic extension to a superfield that is algebraically closed. Moreover we show that every infinite algebraically closed superfield admits quantifier elimination procedure.