Some new results on decidability for elementary algebra and geometry

Robert M. Solovay, R. D. Arthan, John Harrison

We carry out a systematic study of decidability for theories of (a) real vector spaces, inner product spaces, and Hilbert spaces and (b) normed spaces, Banach spaces and metric spa…