Abstract
Gödel’s incompleteness theorem tells that the elementary theories of \({\mathbf N}\) and \({\mathbf Z}\) are not axiomatizable, respectively. J. Robinson proved that the elementary theory of \({\mathbf Q}\) is undecidable, hence not axiomatizable. We may ask what subsets of these elementary theories are decidable or axiomatizable. We call an arithmetical sentence \(\phi \) an \(\exists ^n\forall \exists \) sentence if it is logically equivalent to a sentence of the form \(\exists x_1\cdots \exists x_n\forall y\exists z \,\psi (x_1, \ldots ,x_n,y,z),\) where \(\psi (x_1, x_2,\ldots ,x_n,y,z)\) is a quantifier-free formula. In this talk we show that the set of all true \(\exists ^n\forall \exists \) sentences in \(\mathbf N,\) \(\mathbf Z\), and \(\mathbf Q\) are axiomatizable, respectively. Also, let \(f(x,y)\in {\mathbf Z}[x,y]\) and \(a\in {\mathbf Z}\). The sets of all sentences of the form \(\forall z\exists x \forall y\, f(x,y)-az \ne 0\) true in \(\mathbf N,\) \(\mathbf Z\), and \(\mathbf Q\) are also axiomatizable, respectively. Therefore, the sets of sentences of the form \(\exists z\forall x \exists y\, f(x,y)-az =0\) true in \(\mathbf N,\) \(\mathbf Z\), and \(\mathbf Q\) are decidable, respectively. Over \(\mathbf N\), we have shown that this decision problem is NP-hard, co-NP-hard, and in PSPACE. Therefore, if NP \(\ne \) co-NP, then this decision problem is in PSPACE \(\setminus \) (NP \(\cup \) co-NP).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Baker, A. (1990). Transcendental number theory (2nd ed.). Cambridge: Cambridge University Press.
Davis, M. (1973). Hilbert’s tenth problem is unsolvable. The American Mathematical Monthly, 80, 233–269.
Enderton, H. B. (2001). A mathematical introduction to logic (2nd ed.). San Diego: Harcourt/Academic Press.
Fried, M. D., & Jarden, M. (2005). Field arithmetic (2nd ed.). Berlin: Springer.
Garey, M. R., & Johnson, D. S. (1979). Computers and intractability: A Guide to theory of NP-completeness. San Francisco: W. H. Freeman.
Hungerford, T. W. (1974). Algebra. New York: Springer.
Jones, J. P. (1981). Classification of quantifier prefixes over diophantine equations. Z. Math. Logik Grundlag. Math., 27, 403–410.
Jones, J. P. (1982). Universal diophantine equation. Journal of Symbolic Logic, 47, 549–571.
Lang, S. (1997). Survey of diophantine geometry. Berlin: Springer.
Manders, K., & Adleman, L. (1978). NP-complete decision problems for binary quadratics. Journal of Computer and System Sciences, 16, 168–184.
Matijasevich, Y. V., & Robinson, J. (1974). Two universal 3-quantifier representations of recursively enumerable sets. Teoriya Algorifmov i Matematicheskaya Logika, (volume dedicated to A. A. Markov), 112–123, Vychislitel’nyĭ Tsentr, Akademiya Nauk SSSR, Moscow, (Russian).
Robinson, J. (1949). Definability and decision problems in arithmetic. Journal of Symbol Logic, 14, 98–114.
Schinzel, A. (1982). Diophantine equations with parameters. In J. V. Arimitage (Ed.), Journées arithmetiques 1980 (pp. 211–217)., London mathematical society lecture note series Cambridge: Cambridge University Press.
Schinzel, A. (2000). Polynomials with special regard to reducibility. Cambridge: Cambridge University Press.
Tung, S. P. (1985). On weak number theories. Japanese Journal of Mathematics, 11, 203–232.
Tung, S. P. (1986). Provability and decidability of arithmetical universal-existential sentences. Bulletin of the London Mathematical Society, 18, 241–247.
Tung, S. P. (1987). Computational complexities of diophantine equations with parameters. Journal of Algorithms, 8, 324–336.
Tung, S. P. (1995). Computational complexity of arithmetical sentences. Information and Computation, 120, 315–325.
Tung, S. P. (2017). Diophantine equations with three quantifiers, manuscript.
Wüstholz, G. (Ed.). (2002). A Panorama of number theory or the view from Baker’s garden. Cambridge: Cambridge University Press.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Tung, S.P. (2017). Provability and Decidability of Arithmetical Sentences. In: Yang, SM., Lee, K., Ono, H. (eds) Philosophical Logic: Current Trends in Asia. Logic in Asia: Studia Logica Library. Springer, Singapore. https://doi.org/10.1007/978-981-10-6355-8_4
Download citation
DOI: https://doi.org/10.1007/978-981-10-6355-8_4
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-6354-1
Online ISBN: 978-981-10-6355-8
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)