Journal of Symbolic Logic 28 (1):1-16 (1963)
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.2307/2271331 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
Rekursive Funktionen.Raphael M. Robinson & Rozsa Peter - 1951 - Journal of Symbolic Logic 16 (4):280.
Citations of this work BETA
Point-Free Topological Spaces, Functions and Recursive Points; Filter Foundation for Recursive Analysis. I.Iraj Kalantari & Lawrence Welch - 1998 - Annals of Pure and Applied Logic 93 (1-3):125-151.
Similar books and articles
Recursive in a Generic Real.Juichi Shinoda & Theodore A. Slaman - 2000 - Journal of Symbolic Logic 65 (1):164-172.
Provably Recursive Real Numbers.William J. Collins - 1978 - Notre Dame Journal of Formal Logic 19 (4):513-522.
Real Numbers and Functions in the Kleene Hierarchy and Limits of Recursive, Rational Functions.N. Z. Shapiro - 1969 - Journal of Symbolic Logic 34 (2):207-214.
An Invariance Notion in Recursion Theory.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):48-66.
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.
Discontinuities of Provably Correct Operators on the Provably Recursive Real Numbers.William J. Collins & Paul Young - 1983 - Journal of Symbolic Logic 48 (4):913-920.
Analytics
Added to PP index
2009-01-28
Total views
11 ( #855,936 of 2,519,698 )
Recent downloads (6 months)
1 ( #406,314 of 2,519,698 )
2009-01-28
Total views
11 ( #855,936 of 2,519,698 )
Recent downloads (6 months)
1 ( #406,314 of 2,519,698 )
How can I increase my downloads?
Downloads