Some new results on decidability for elementary algebra and geometry. submitted APAL (2009)

by R M Solovay, R D Arthan, J Harrison