Decision procedures for real and p‐adic fields
From MaRDI portal
Publication:5552751
DOI10.1002/cpa.3160220202zbMath0167.01502MaRDI 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
03Bxx: General logic
Related Items
Extensions of Hilbert's tenth problem, Analytic cell decomposition and the closure of p-adic semianalytic sets, Nonstandard arithmetic, Formal power series, A question of divisibility of an analytic germ by a polynomial, Orderings for term-rewriting systems, Nonnegative ranks, decompositions, and factorizations of nonnegative matrices, On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds, 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, A continuous, constructive solution to Hilbert's \(17^{th}\) problem, Rationality of p-adic Poincaré series: Uniformity in p, Relative elimination of quantifiers for Henselian valued fields, Geometric reasoning with logic and algebra, Simultaneous diagonal equations over certain \(p\)-adic fields, Constructible exponential functions, motivic Fourier transform and transfer principle, Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions, Countable algebra and set existence axioms, The p-adic spectrum, Tubular neighborhoods in Euclidean spaces, Computer algebra: Past and future, Termination of rewriting, A bibliography of quantifier elimination for real closed fields, Substructures and uniform elimination for p-adic fields, Semianalytic and subanalytic sets, 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?, Semialgebraic topology over a real closed field. I: Paths and components in the set of rational points of an algebraic variety, Semialgebraic topology over a real closed field. II: Basic theory of semialgebraic spaces, Evaluation fields for power series II. The Reelnullstellensatz, 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, Complexity of deciding Tarski algebra, The computational complexity of some problems of linear algebra, Galois stratification over \(e\)-fold ordered Frobenius fields, On the polynomial-like behaviour of certain algebraic functions, Computational complexity over the \(p\)-adic numbers, Efficient \(p\)-adic cell decompositions for univariate polynomials, Homology of semi-pfaffian sets, Local reality on algebraic varieties, An algorithm for generalized point location and its applications, On the passage from local to global in number theory, Analytic cell decomposition and analytic motivic integration, b-MINIMALITY, Combined Decision Techniques for the Existential Theory of the Reals, The invariant theory of binary forms, Invariant inequalities in programs interpreted over an ordered field, More on definable sets of p-adic numbers, An Undecidability Result for Power Series Rings of Positive Characteristic, Tilings with congruent tiles, Unnamed Item, The elementary theory of free pseudo p-adically closed fields of finite corank
Cites Work
