Annals of Pure and Applied Logic 35 (3):247-260 (1987)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/0168-0072(87)90065-0 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,039
External links
- From the Publisher via CrossRef (no proxy)
- citeseerx.ist.psu.edu
(no proxy) - linkinghub.elsevier.com (no proxy)
- cs.cornell.edu (no proxy)
- sciencedirect.com (no proxy)
- linkinghub.elsevier.com [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
On Computable Numbers, with an Application to the N Tscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Nicht Konstruktiv Beweisbare Sätze der Analysis.Ernst Specker - 1949 - Journal of Symbolic Logic 14 (3):145-158.
A Topological Analog to the Rice-Shapiro Index Theorem.Louise Hay & Douglas Miller - 1982 - Journal of Symbolic Logic 47 (4):824-832.
Berechenbare Reelle Funktionen.Jürgen Hauck - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (8-10):121-140.
View all 6 references / Add more references
Citations of this work BETA
Effective Moduli From Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation.Ulrich Kohlenbach - 1993 - Annals of Pure and Applied Logic 64 (1):27-94.
A Real Number Structure That is Effectively Categorical.Peter Hertling - 1999 - Mathematical Logic Quarterly 45 (2):147-182.
Computability on Regular Subsets of Euclidean Space.Martin Ziegler - 2002 - Mathematical Logic Quarterly 48 (S1):157-181.
Compactness in Constructive Analysis Revisited.Christoph Kreitz & Klaus Weihrauch - 1987 - Annals of Pure and Applied Logic 36:29-38.
Similar books and articles
WEIHRAUCH, K. And KREITZ, C., Representations of the Real Numbers and of the Open Subsets of the Set of Real Numbers WILKIE, AJ and PARIS, JB, On the Scheme of Induction for Bounded Arithmetic Formulas. [REVIEW]Las Kirby & R. Diaconescu - 1987 - Annals of Pure and Applied Logic 35:303.
Primitive Recursive Real Numbers.Qingliang Chen, Kaile Kaile & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4):365-380.
Primitive Recursive Real Numbers.Qingliang Chen, Kaile Su & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4‐5):365-380.
Order‐Free Recursion on the Real Numbers.Vasco Brattka - 1997 - Mathematical Logic Quarterly 43 (2):216-234.
On Σ‐Definability Without Equality Over the Real Numbers.Andrei S. Morozov & Margarita V. Korovina - 2008 - Mathematical Logic Quarterly 54 (5):535-544.
Combinatorial Properties of Filters and Open Covers for Sets of Real Numbers.Claude Laflamme & Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1243-1260.
Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers.Dimiter Skordev - 2002 - Mathematical Logic Quarterly 48 (S1):91-106.
Aristotle and Modern Mathematical Theories of the Continuum.Anne Newstead - 2001 - In Demetra Sfendoni-Mentzou & James Brown (eds.), Aristotle and Contemporary Philosophy of Science. Peter Lang.
Frege Meets Dedekind: A Neologicist Treatment of Real Analysis.Stewart Shapiro - 2000 - Notre Dame Journal of Formal Logic 41 (4):335--364.
Non-Constructive Properties of the Real Numbers.J. E. Rubin, K. Keremedis & Paul Howard - 2001 - Mathematical Logic Quarterly 47 (3):423-431.
Real Numbers and Other Completions.Fred Richman - 2008 - Mathematical Logic Quarterly 54 (1):98-108.
Analytics
Added to PP index
2014-01-16
Total views
10 ( #899,365 of 2,505,771 )
Recent downloads (6 months)
1 ( #416,705 of 2,505,771 )
2014-01-16
Total views
10 ( #899,365 of 2,505,771 )
Recent downloads (6 months)
1 ( #416,705 of 2,505,771 )
How can I increase my downloads?
Downloads
