Degrees of unsolvability associated with classes of formalized theories
Journal of Symbolic Logic 22 (2):161-175 (1957)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
|
| Through your library | Configure |
Robert P. Daley (1981). Busy Beaver Sets and the Degrees of Unsolvability. Journal of Symbolic Logic 46 (3):460-474.
Carl G. Jockusch Jr (1973). An Application of ∑04 Determinancy to the Degrees of Unsolvability. Journal of Symbolic Logic 38 (2):293 - 294.
Michael Stob (1982). Index Sets and Degrees of Unsolvability. Journal of Symbolic Logic 47 (2):241-248.
Ivan Marques (1975). On Degrees of Unsolvability and Complexity Properties. Journal of Symbolic Logic 40 (4):529-540.
Richard Friedberg (1957). A Criterion for Completeness of Degrees of Unsolvability. Journal of Symbolic Logic 22 (2):159-160.
Peter G. Hinman (1973). Degrees of Continuous Functionals. Journal of Symbolic Logic 38 (3):393-395.
Joseph R. Shoenfield (1972). Degrees of Unsolvability. New York, American Elsevier.
C. E. M. Yates (1970). Initial Segments of the Degrees of Unsolvability Part II: Minimal Degrees. Journal of Symbolic Logic 35 (2):243-266.
M. Lerman (1983). Degrees of Unsolvability: Local and Global Theory. Springer-Verlag.
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #161,910 of 556,837 )Recent downloads (6 months)0How can I increase my downloads? |

