Some new results on decidability for elementary algebra and geometry

[1]  P. Bernays,et al.  Zum Entscheidungsproblem der mathematischen Logik , 1928 .

[2]  H. Weyl.  Elementare Theorie der konvexen Polyeder , 1934 .

[3]  Joseph E. Borzellino,et al.  When is a Trigonometric Polynomial Not a Trigonometric Polynomial , 1935 .

[4]  R. C. James.  Orthogonality in normed linear spaces , 1945 .

[5]  A. Tarski.  A Decision Method for Elementary Algebra and Geometry , 2023 .

[6]  D. Scott.  Dimension in Elementary Euclidean Geometry1 , 1959 .

[7]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[8]  R. Kopperman.  The L ω1ω1 -theory of hilbert spaces 1 , 1967 .

[9]  R. Kopperman.  The $\mathrm{L}_{\omega_1\omega_1}$-Theory of Hilbert Spaces , 1967 .

[10]  R. Kopperman.  Application of infinitary languages to metric spaces. , 1967 .

[11]  D. C. Cooper,et al.  Theory of Recursive Functions and Effective Computability , 1969, The Mathematical Gazette.

[12]  Jr. Hartley Rogers.  Theory of Recursive Functions and Effective Computability , 1969 .

[13]  Louis Hodes,et al.  Solving Problems by Formula Manipulation in Logic and Linear Inequalities , 1971, IJCAI.

[14]  George E. Collins,et al.  Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

[15]  Jeanne Ferrante,et al.  A Decision Procedure for the First Order Theory of Real Addition with Order , 1975, SIAM J. Comput..

[16]  S. Shelah,et al.  The Hanf number of the first order theory of Banach spaces , 1978 .

[17]  W. J. Thron,et al.  Encyclopedia of Mathematics and its Applications. , 1982 .

[18]  R. Stansifer.  Presburger''s Article on Integer Arithmetic: Remarks and Translation , 1984 .

[19]  D. Amir.  Characterizations of Inner Product Spaces , 1986 .

[20]  M. Prest.  Model theory and modules , 1988 .

[21]  L. Hörmander.  The analysis of linear partial differential operators , 1990 .

[22]  Lou van den Dries,et al.  Quantifier Elimination for Modules with Scalar Variables , 1992, Ann. Pure Appl. Log..

[23]  Marie-Françoise Roy,et al.  Real algebraic geometry , 1992 .

[24]  Dieter Hofbauer,et al.  Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths , 1990, Theor. Comput. Sci..

[25]  Jin-Sik Mok.  A metric characterization of Hilbert spaces , 1996 .

[26]  María Manzano,et al.  Extensions of First-Order Logic , 1996 .

[27]  L. Gårding.  Some points of analysis and their history , 1997 .

[28]  B. F. Caviness,et al.  Quantifier Elimination and Cylindrical Algebraic Decomposition , 2004, Texts and Monographs in Symbolic Computation.

[29]  Stephen G. Simpson,et al.  Subsystems of second order arithmetic , 1999, Perspectives in mathematical logic.

[30]  J. J. Lee.  ULTRAPRODUCTS IN ANALYSIS , 2002 .

[31]  Frank Wolter,et al.  Logics of metric spaces , 2003, TOCL.

[32]  Ju. V. Matijasevic,et al.  ENUMERABLE SETS ARE DIOPHANTINE , 2003 .

[33]  S. Basu,et al.  Algorithms in real algebraic geometry , 2003 .

[34]  Pascal Fontaine.  Techniques for verification of concurrent systems with invariants , 2004 .

[35]  Rob Arthan.  Aronszajn's Criterion for Euclidean Space , 2012, Am. Math. Mon..

[36]  R. Schindler.  Descriptive Set Theory , 2014 .

[37]  G. Bezhanishvili.  GÖDEL’S INCOMPLETENESS THEOREMS , 2019, Infinity and the Mind.

[38]  H. Bateman.  Book Review: Ergebnisse der Mathematik und ihrer Grenzgebiete , 1933 .