A consistency proof for elementary algebra and geometry
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||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
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.
The Independence of the Parallel Postulate and Development of Rigorous Consistency Proofs.David J. Stump - 2007 - History and Philosophy of Logic 28 (1):19-30.
Medieval Arabic Algebra as an Artificial Language.Jeffrey A. Oaks - 2007 - Journal of Indian Philosophy 35 (5-6):543-575.
On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic.Andrea Cantini - 1986 - Journal of Symbolic Logic 51 (2):360-373.
Proving Consistency of Equational Theories in Bounded Arithmetic.Arnold Beckmann - 2002 - Journal of Symbolic Logic 67 (1):279-296.
Added to index2009-01-28
Total downloads485 ( #3,231 of 2,146,457 )
Recent downloads (6 months)1 ( #386,104 of 2,146,457 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.