scientific article; zbMATH DE number 3997750

zbMath0616.03001MaRDI QIDQ4724592

Alexander Prestel

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fieldsquantifier eliminationmodel theoryalgebraic structuresultraproductsmodel completenessmodel companionexistentially closed structuresp-adic number fieldssaturated structures

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Models with special properties (saturated, rigid, etc.) (03C50) Ultraproducts and related constructions (03C20) Model theory of fields (12L12) Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10) Model theory (03Cxx)

Related Items

A gallery of constant-negative-curvature surfaces, On a question of Abraham Robinson, Quotients of semi-algebraic spaces, Two situations with unit-cost: ordered abelian semi-groups and some commutative rings, On semianalytic subsets of rigid analytic varieties, Compactification of varieties, Model companion and model completion of theories of rings, Semi-algebraic decision complexity, the real spectrum, and degree, T-convexity and tame extensions, Positive elimination in valued fields, Recursive analysis of singular ordinary differential equations, Existence and uniqueness of the real closure of an ordered field without Zorn's lemma, Algebraic number fields elementarily determined by their absolute Galois group, A generalization of von Neumann regularity, About Hrushovski and Loeser’s Work on the Homotopy Type of Berkovich Spaces, On decidability and axiomatizability of some ordered structures, A complex version of the baer-krull theorems, Smooth approximations by continuous choice-functions, An elementary based sufficient condition for sums of \(2m\)th powers of polynomials over non-archimedean real closed fields, Continuous valuations, Quantifier elimination for Henselian fields relative to additive and multiplicative congruences