A consistency proof for elementary algebra and geometry

Abstract

We give a consistency proof within a weak fragment of arithmetic of elementary algebra and geometry. For this purpose, we use EFA (exponential function arithmetic), and various first order theories of algebraically closed fields and real closed fields.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Standards of equality and Hume's view of geometry.Emil Badici - 2011 - Pacific Philosophical Quarterly 92 (4):448-467.
Undecidable theories of Lyndon algebras.Vera Stebletsova & Yde Venema - 2001 - Journal of Symbolic Logic 66 (1):207-224.
Notes on the stability of separably closed fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
The completeness of elementary algebra and geometry.Alfred Tarski - 1967 - Paris,: Centre national de la recherche scientifique, Institut Blaise Pascal.
Medieval Arabic Algebra as an Artificial Language.Jeffrey A. Oaks - 2007 - Journal of Indian Philosophy 35 (5-6):543-575.

Analytics

Added to PP
2009-01-28

Downloads
485 (#39,447)

6 months
1 (#1,475,085)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references