On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation

From MaRDI portal
Publication:3980089

DOI10.1080/014453409108837187zbMath0741.03027OpenAlexW2068523159WikidataQ58447848 ScholiaQ58447848MaRDI QIDQ3980089

Unnamed Author, M. Presburger

Publication date: 26 June 1992

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/014453409108837187




Related Items (23)

On representations of intended structures in foundational theoriesTruncations of ordered abelian groupsMechanical Proofs of Properties of the Tribonacci WordSato-Tate theorem for families and low-lying zeros of automorphic \(L\)-functions. Appendix A by Robert Kottwitz, and Appendix B by Raf Cluckers, Julia Gordon and Immanuel Halupczok.Decision algorithms for Fibonacci-automatic Words, I: Basic resultsA Plethora of Polynomials: A Toolbox for Counting ProblemsPresburger Arithmetic, Rational Generating Functions, and Quasi-PolynomialsThe unreasonable ubiquitousness of quasi-polynomialsA Characterisation of the Relations Definable in Presburger ArithmeticThe lattice of definability: origins, recent developments, and further directionsOn Presburger arithmetic extended with non-unary counting quantifiersSynthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended versionA DEFINABLE -ADIC ANALOGUE OF KIRSZBRAUN’S THEOREM ON EXTENSIONS OF LIPSCHITZ MAPSThe Frobenius postage stamp problem, and beyondOstrowski-automatic sequences: theory and applicationsDefinable sets up to definable bijections in Presburger groupsParametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behaviorTheories of initial segments of standard models of arithmetics and their complete extensionsIntegrability of oscillatory functions on local fields: transfer principlesON THE COMMUTATIVITY OF PULL-BACK AND PUSH-FORWARD FUNCTORS ON MOTIVIC CONSTRUCTIBLE FUNCTIONSBounded minimalisation and bounded counting in argument-bounded idc'sDomain mu-calculusModelization of deterministic rational relations




This page was built for publication: On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation