scientific article
From MaRDI portal
Publication:3324077
zbMath0538.14017MaRDI QIDQ3324077
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
elimination theoryordered fieldsquantifier free formulafiniteness theorem of semi-algebraic geometryPlace extension theorems
Quantifier elimination, model completeness, and related topics (03C10) Real algebraic and real-analytic geometry (14Pxx)
Related Items (15)
The geometric theory of \(p\)-adic fields ⋮ Tame strongly simply connected algebras form an open scheme. ⋮ Positive elimination in valued fields ⋮ $C(\beta\mathbb{N}\setminus\mathbb{N})$ among the Archimedean $\ell$-groups with strong unit ⋮ On the real spectrum of a ring and its application to semialgebraic geometry ⋮ Model theory and spectra ⋮ Complete sets in differentially closed fields ⋮ Unnamed Item ⋮ A remark on Ax's theorem on solvability modulo primes ⋮ Model-completions for abelian lattice-ordered groups with finitely many disjoint elements ⋮ \(l\)-groups \(C(X)\) in continuous logic ⋮ On a class of nontriangular representation-finite algebras forming an open \(\mathbb Z\)-scheme. ⋮ Completeness in partial differential algebraic geometry ⋮ Nonnegative solvability of linear equations in certain ordered rings ⋮ Representation-finite triangular algebras form an open scheme
This page was built for publication: