scientific article
From MaRDI portal
Publication:3708785
zbMath0584.03022MaRDI QIDQ3708785
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
model-completenessdefinable setselementary invariantselementary theory of valued fieldsprime model extensions
Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10)
Related Items (28)
Assume, Guarantee or Repair ⋮ The complexity of linear problems in fields ⋮ Unnamed Item ⋮ On variants of \(o\)-minimality ⋮ Incidence bounds in positive characteristic via valuations and distality ⋮ Some supplements to Feferman-Vaught related to the model theory of adeles ⋮ Between the Rings $${\mathbb Z}/p^n{\mathbb Z}$$ and the Ring $${\mathbb Z}_p$$: Issues of Axiomatizability, Definability and Decidability ⋮ Automated program repair using formal verification techniques ⋮ Commutative unital rings elementarily equivalent to prescribed product rings ⋮ On subgroups of semi-abelian varieties defined by difference equations ⋮ Polynomial approximation of Berkovich spaces and definable types ⋮ Quantifier elimination in linear difference equations over Witt vectors ⋮ The elementary theory of \(e\)-free PAC domains ⋮ Tropical spectrahedra ⋮ Rumely’s local global principle for algebraic 𝑃𝒮𝒞 fields over rings ⋮ Definability of types and VC density in differential topological fields ⋮ Dynamical method in algebra: Effective Nullstellensätze ⋮ On the elimination of imaginaries from certain valued fields ⋮ Uniform properties of rigid subanalytic sets ⋮ DECIDABLE ALGEBRAIC FIELDS ⋮ An Undecidability Result for Power Series Rings of Positive Characteristic ⋮ Model theory of adeles. I. ⋮ Linear problems in valued fields ⋮ The rationality of the Poincaré series associated to the p-adic points on a variety ⋮ PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ ⋮ Cell decompositions of \(C\)-minimal structures ⋮ Rationality of p-adic Poincaré series: Uniformity in p ⋮ Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
This page was built for publication:
