Multi-Valued Fields

This text examines the model-theoretic aspects of the theory of valued fields and multi-valued fields. The theory of Prufer rings is discussed from the "geometric" point of view. The author shows that by introducing the Zariski topology on families of valuation rings, it is possible to distinguish two important subfamilies of Prufer rings that correspond to Boolean and near Boolean families of valuation rings. Also, algebraic and model-theoretic properties of multi-valued fields with near Boolean families of valuation rings satisfying the local-global principle are studied. It is important that this principle is elementary, that is, that it can be expressed in the language of predicate calculus. The most important results obtained in the book include a criterion for the elementarity of an embedding of a multi-valued field and a criterion for the elementary equivalence for multi-valued fields from the class defined by the additional natural elementary conditions (absolute unramification, maximality and almost continuity of local elementary properties).