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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. Try with proxy. Try with proxy. Try with proxy. Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesEmil Badici (2011). Standards of Equality and Hume's View of Geometry. Pacific Philosophical Quarterly 92 (4):448-467.
Arnold Beckmann (2002). Proving Consistency of Equational Theories in Bounded Arithmetic. Journal of Symbolic Logic 67 (1):279-296.
Andrea Cantini (1986). On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic. Journal of Symbolic Logic 51 (2):360-373.
Jeffrey A. Oaks (forthcoming). Medieval Arabic Algebra as an Artificial Language. Journal of Indian Philosophy.
David J. Stump (2007). The Independence of the Parallel Postulate and Development of Rigorous Consistency Proofs. History and Philosophy of Logic 28 (1):19-30.
Alfred Tarski (1967). The Completeness of Elementary Algebra and Geometry. Paris, Centre National De La Recherche Scientifique, Institut Blaise Pascal.
Carol Wood (1979). Notes on the Stability of Separably Closed Fields. Journal of Symbolic Logic 44 (3):412-416.
Vera Stebletsova & Yde Venema (2001). Undecidable Theories of Lyndon Algebras. Journal of Symbolic Logic 66 (1):207-224.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads13 ( #87,971 of 549,113 )Recent downloads (6 months)3 ( #25,740 of 549,113 )How can I increase my downloads? |
My notes
Discussion
