Some new results on decidability for elementary algebra and geometry

DOI10.1016/j.apal.2012.04.003zbMath1259.03020arXiv0904.3482MaRDI QIDQ714712

D. Kharzeev

Publication date: 11 October 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0904.3482

zbMATH Keywords

undecidability; normed space; Hilbert space; Banach space; decidability; inner product space

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

03C65: Models of other mathematical theories

03C10: Quantifier elimination, model completeness, and related topics

Related Items

Quantifying over events in probability logic: an introduction, (Dual) Hoops Have Unique Halving, A formalization of metric spaces in HOL Light, A revision of the proof of the Kepler conjecture, Set theory and the analyst, Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries, Without Loss of Generality, HOL Light: An Overview

Cites Work

• Descriptive set theory
• Quantifier elimination for modules with scalar variables
• Termination proofs by multiset path orderings imply primitive recursive derivation lengths
• Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
• Characterizations of inner product spaces
• Application of infinitary languages to metric spaces
• Solving problems by formula manipulation in logic and linear inequalities
• Undecidable theories
• A Decision Procedure for the First Order Theory of Real Addition with Order
• The Hanf Number of the First Order Theory of Banach Spaces
• Aronszajn’s Criterion for Euclidean Space
• Logics of metric spaces
• The L_ω1ω1-theory of hilbert spaces
• Algorithms in real algebraic geometry
• Orthogonality in normed linear spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item