Some undecidable problems involving elementary functions of a real variable
Journal of Symbolic Logic 33 (4):514-520 (1968)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesLou van Den Dries (1988). On the Elementary Theory of Restricted Elementary Functions. Journal of Symbolic Logic 53 (3):796 - 808.
Lou van den Dries (1988). On the Elementary Theory of Restricted Elementary Functions. Journal of Symbolic Logic 53 (3):796-808.
Zlatan Damnjanovic (1995). Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. Journal of Symbolic Logic 60 (4):1208-1241.
Françoise Delon & Rafel Farré (1996). Some Model Theory for Almost Real Closed Fields. Journal of Symbolic Logic 61 (4):1121-1152.
Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev (2005). Undecidability of First-Order Intuitionistic and Modal Logics with Two Variables. Bulletin of Symbolic Logic 11 (3):428-438.
Martin Davis (ed.) (1965/2004). The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. Dover Publication.
Zlatan Damnjanovic (1997). Elementary Realizability. Journal of Philosophical Logic 26 (3):311-339.
António M. Fernandes & Fernando Ferreira (2002). Groundwork for Weak Analysis. Journal of Symbolic Logic 67 (2):557-578.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads18 ( #67,622 of 549,198 )Recent downloads (6 months)4 ( #19,303 of 549,198 )How can I increase my downloads? |
My notes
Discussion
