Some undecidable problems involving elementary functions of a real variable

Journal of Symbolic Logic 33 (4):514-520 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1969

DOI

10.2307/2271358

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Undecidable Problems of Elementary Number Theory.John G. Kemeny - 1958 - Journal of Symbolic Logic 23 (3):359-360.
Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories.Panu Raatikainen - 2003 - Journal of Symbolic Logic 68 (1):262-266.
Kemeny John G.. Undecidable problems of elementary number theory. Mathematische Annalen, vol. 135 , pp. 160–169.Th Skolem - 1958 - Journal of Symbolic Logic 23 (3):359-360.
What Makes Some Language Theory Problems Undecidable.J. Hartmanis & J. E. Hopcroft - 1975 - Journal of Symbolic Logic 40 (2):245-246.
Martin Davis. On formally undecidable propositions of the Principia Mathematica and related systems. I. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, p. 4. - Kurt Gödel. On formally undecidable propositions of Principia Mathematica and related systems I. English translation of 4183 by Elliott Mendelson. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 5–38. - Martin Davis. On undecidable propositions of formal mathematical systems. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 39–40. - Kurt Gödel. On undecidable propositions of formal mathematical systems. A revised reprint of 41814. The undecidable, Basic papers on undecida. [REVIEW]Stefan Bauer-Mengelberg - 1966 - Journal of Symbolic Logic 31 (3):484-494.
Undecidable problems in correspondency theory.A. Chagrova Lilia - 1991 - Journal of Symbolic Logic 56:1261-1272.
On the Elementary Theory of Restricted Elementary Functions.Lou van den Dries - 1988 - Journal of Symbolic Logic 53 (3):796 - 808.

Analytics

Added to PP
2009-01-28

Downloads
92 (#227,933)

6 months
4 (#1,246,333)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Beyond the universal Turing machine.B. Jack Copeland & Richard Sylvan - 1999 - Australasian Journal of Philosophy 77 (1):46-66.
A notion of mechanistic theory.G. Kreisel - 1974 - Synthese 29 (1-4):11 - 26.
Beyond the universal Turing machine.Jack Copeland - 1999 - Australasian Journal of Philosophy 77 (1):46-67.
Constraint propagation with interval labels.Ernest Davis - 1987 - Artificial Intelligence 32 (3):281-331.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references