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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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

On the Elementary Theory of Restricted Elementary Functions.Lou van den Dries - 1988 - Journal of Symbolic Logic 53 (3):796 - 808.
Elementary realizability.Zlatan Damnjanovic - 1997 - Journal of Philosophical Logic 26 (3):311-339.
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
Continuity and logical completeness: an application of sheaf theory and topoi.Steve Awodey - 2000 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 139--149.
The addition of bounded quantification and partial functions to a computational logic and its theorem prover.Robert Boyer - manuscript
On the elementary theory of restricted elementary functions.Lou van den Dries - 1988 - Journal of Symbolic Logic 53 (3):796-808.
Groundwork for weak analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.

Analytics

Added to PP
2009-01-28

Downloads
87 (#191,321)

6 months
10 (#255,509)

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