On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation
History and Philosophy of Logic 12 (2):225-233 (1991)
Presburger's essay on the completeness and decidability of arithmetic with integer addition but without multiplication is a milestone in the history of mathematical logic and formal metatheory. The proof is constructive, using Tarski-style quantifier elimination and a four-part recursive comprehension principle for axiomatic consequence characterization. Presburger's proof for the completeness of first order arithmetic with identity and addition but without multiplication, in light of the restrictive formal metatheorems of Gödel, Church, and Rosser, takes the foundations of arithmetic in mathematical logic to the limits of completeness and decidability
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials.Kevin Woods - 2015 - Journal of Symbolic Logic 80 (2):433-449.
Similar books and articles
On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers.Françoise Point - 2000 - Journal of Symbolic Logic 65 (3):1347-1374.
Symbolic Arithmetic Knowledge Without Instruction.Camilla K. Gilmore, Shannon E. McCarthy & Elizabeth S. Spelke - unknown
On First-Order Theories with Provability Operator.Sergei Artëmov & Franco Montagna - 1994 - Journal of Symbolic Logic 59 (4):1139-1153.
On the Proof of Solovay's Theorem.Dick Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51 - 69.
Presburger Arithmetic with Unary Predicates is Π11 Complete.Joseph Y. Halpern - 1991 - Journal of Symbolic Logic 56 (2):637 - 642.
Completeness and Categoricity: Frege, Gödel and Model Theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
Theories of Arithmetics in Finite Models.M. Krynicki & K. Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
Added to index2010-08-10
Total downloads28 ( #185,059 of 2,178,151 )
Recent downloads (6 months)3 ( #112,524 of 2,178,151 )
How can I increase my downloads?