Decision procedures for real and p‐adic fields
From MaRDI portal
Publication:5552751
DOI10.1002/cpa.3160220202zbMath0167.01502OpenAlexW2139480317MaRDI QIDQ5552751
Publication date: 1969
Published in: Communications on Pure and Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/cpa.3160220202
Related Items
The invariant theory of binary forms ⋮ Unnamed Item ⋮ On the polynomial-like behaviour of certain algebraic functions ⋮ Topics in termination ⋮ The elementary theory of free pseudo p-adically closed fields of finite corank ⋮ Computer algebra: Past and future ⋮ Nonstandard arithmetic ⋮ Termination of rewriting ⋮ An algorithm for generalized point location and its applications ⋮ A bibliography of quantifier elimination for real closed fields ⋮ Model Theory of Analytic Functions: Some Historical Comments ⋮ Substructures and uniform elimination for p-adic fields ⋮ Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero ⋮ Computational complexity over the \(p\)-adic numbers ⋮ Orderings for term-rewriting systems ⋮ Semianalytic and subanalytic sets ⋮ Extensions of Hilbert's tenth problem ⋮ Approximations and Lipschitz continuity in \(p\)-adic semi-algebraic and subanalytic geometry ⋮ Some model theory for Henselian valued fields ⋮ Real algebraic geometry and the 17th Hilbert problem ⋮ What does logic have to tell us about mathematical proofs? ⋮ Between the Rings $${\mathbb Z}/p^n{\mathbb Z}$$ and the Ring $${\mathbb Z}_p$$: Issues of Axiomatizability, Definability and Decidability ⋮ Semialgebraic topology over a real closed field. I: Paths and components in the set of rational points of an algebraic variety ⋮ Faster \(p\)-adic feasibility for certain multivariate sparse polynomials ⋮ An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem ⋮ Semialgebraic topology over a real closed field. II: Basic theory of semialgebraic spaces ⋮ A DEFINABLE -ADIC ANALOGUE OF KIRSZBRAUN’S THEOREM ON EXTENSIONS OF LIPSCHITZ MAPS ⋮ Invariant inequalities in programs interpreted over an ordered field ⋮ Value-sets of polynomials at \(p\)-adic integers ⋮ Special transformations in algebraically closed valued fields ⋮ b-MINIMALITY ⋮ Analytic cell decomposition and the closure of p-adic semianalytic sets ⋮ Evaluation fields for power series II. The Reelnullstellensatz ⋮ Geometric reasoning with logic and algebra ⋮ Simultaneous diagonal equations over certain \(p\)-adic fields ⋮ Quantifier elimination for a class of exponential polynomial formulas ⋮ More on definable sets of p-adic numbers ⋮ On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals ⋮ Metric estimates and membership complexity for Archimedean amoebae and tropical hypersurfaces ⋮ Formal power series ⋮ Nonnegative ranks, decompositions, and factorizations of nonnegative matrices ⋮ Elementary recursive quantifier elimination based on Thom encoding and sign determination ⋮ TOPOLOGICAL CELL DECOMPOSITION AND DIMENSION THEORY IN P-MINIMAL FIELDS ⋮ Fields with analytic structure ⋮ Constructible exponential functions, motivic Fourier transform and transfer principle ⋮ Local reality on algebraic varieties ⋮ A question of divisibility of an analytic germ by a polynomial ⋮ Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions ⋮ Complexity of deciding Tarski algebra ⋮ Combined Decision Techniques for the Existential Theory of the Reals ⋮ Homology of semi-pfaffian sets ⋮ An Undecidability Result for Power Series Rings of Positive Characteristic ⋮ On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds ⋮ Model theory of adeles. I. ⋮ Tilings with congruent tiles ⋮ Relative decidability and definability in henselian valued fields ⋮ Monomialization of morphisms and p-adic quantifier elimination ⋮ Uniform rationality of the Poincaré series of definable, analytic equivalence relations on local fields ⋮ Efficient \(p\)-adic cell decompositions for univariate polynomials ⋮ Analytic cell decomposition and analytic motivic integration ⋮ Elimination of quantifiers in algebraic structures ⋮ The rationality of the Poincaré series associated to the p-adic points on a variety ⋮ A decision procedure for optimal polyhedron partitioning ⋮ Lectures on the Model Theory of Valued Fields ⋮ The computational complexity of some problems of linear algebra ⋮ A continuous, constructive solution to Hilbert's \(17^{th}\) problem ⋮ Lipschitz extensions of definable p‐adic functions ⋮ Hensel minimality I ⋮ Countable algebra and set existence axioms ⋮ On the passage from local to global in number theory ⋮ Rationality of p-adic Poincaré series: Uniformity in p ⋮ Relative elimination of quantifiers for Henselian valued fields ⋮ Galois stratification over \(e\)-fold ordered Frobenius fields ⋮ The p-adic spectrum ⋮ Commutators in $SL_2$ and Markoff surfaces I ⋮ Tubular neighborhoods in Euclidean spaces
Cites Work
