|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)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Emil 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.
Added to index2009-01-28
Total downloads13 ( #87,971 of 549,113 )
Recent downloads (6 months)3 ( #25,740 of 549,113 )
How can I increase my downloads?