Graduate studies at Western
|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)|
No categories specified
(categorize this paper)
|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.
Vera Stebletsova & Yde Venema (2001). Undecidable Theories of Lyndon Algebras. Journal of Symbolic Logic 66 (1):207-224.
Carol Wood (1979). Notes on the Stability of Separably Closed Fields. Journal of Symbolic Logic 44 (3):412-416.
Alfred Tarski (1967). The Completeness of Elementary Algebra and Geometry. Paris, Centre National De La Recherche Scientifique, Institut Blaise Pascal.
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.
Jeffrey A. Oaks (2007). Medieval Arabic Algebra as an Artificial Language. Journal of Indian Philosophy 35 (5-6):543-575.
Andrea Cantini (1986). On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic. Journal of Symbolic Logic 51 (2):360-373.
Arnold Beckmann (2002). Proving Consistency of Equational Theories in Bounded Arithmetic. Journal of Symbolic Logic 67 (1):279-296.
Added to index2009-01-28
Total downloads14 ( #90,669 of 740,467 )
Recent downloads (6 months)1 ( #61,957 of 740,467 )
How can I increase my downloads?