scientific article; zbMATH DE number 1008470
From MaRDI portal
Publication:4336224
zbMath0891.03014MaRDI QIDQ4336224
Salma Kuhlmann, Franz-Viktor Kuhlmann
Publication date: 24 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
quantifier eliminationskeletonsexistentially closedordered vector spaceselementary equivalentelementary substructureAx-Kochen-Ershov principlesextensions of valued vector spacesvaluation disjointness
Model-theoretic algebra (03C60) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Quantifier elimination, model completeness, and related topics (03C10)
Related Items