[FOM] Tarski's real projective geometry

Neil Tennant neilt at mercutio.cohums.ohio-state.edu
Wed Nov 7 20:51:28 EST 2007

In an abstract in JSL 1949, at p.78, Tarski mentions
that he had shown that the theory of real projective
geometry is decidable.

Can any fom-er cite a reference for the detailed proof
of this result? Or tell me exactly what axioms Tarski
took the theory to have?

Neil Tennant

More information about the FOM mailing list