D. Hilbert and P. Bernays "Grundlagen der Mathematik, volume 1" Springer, 1934. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Double Exponential Inseparability Of Robinson Subsystem Q+ -.. - Faglia, Young (1992) Self-citation (Hilbert Bernays) (Correct)
....and Rabin [FR74] which proves the double exponential complexity of the set S of true sentences of addition. The set S is a logical theory namely the theory studied by Presburger in [Pre29] and proposed as a first significant stage in the foundation of mathematics by Hilbert and Bernays in [HB34]. In particular S is a complete and decidable first order theory. This interesting theory is in several ways very powerful. On the one hand all true statements of the arithmetic of addition can be proved in it. On the other hand, being a complete theory, S is a maximal consistent set and cannot ....
D. Hilbert and P. Bernays "Grundlagen der Mathematik, volume 1" Springer, 1934.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC