Some new results on decidability for elementary algebra and geometry

DOI10.1016/j.apal.2012.04.003zbMath1259.03020arXiv0904.3482OpenAlexW2049594940MaRDI 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

undecidabilitynormed spaceHilbert spaceBanach spacedecidabilityinner product space

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (9)

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 ⋮ Set theory and the analyst ⋮ Quantifying over events in probability logic: an introduction ⋮ Elementary invariants for quantified probability logic ⋮ A formalization of metric spaces in HOL Light ⋮ (Dual) Hoops Have Unique Halving ⋮ A revision of the proof of the Kepler conjecture

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

This page was built for publication: Some new results on decidability for elementary algebra and geometry