An extension of the nondiamond theorem in classical and α-recursion theory
Journal of Symbolic Logic 49 (2):586-607 (1984)
| 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,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesWolfgang Maass (1978). The Uniform Regular Set Theorem in Α-Recursion Theory. Journal of Symbolic Logic 43 (2):270-279.
Steven Buechler (1991). Pseudoprojective Strongly Minimal Sets Are Locally Projective. Journal of Symbolic Logic 56 (4):1184-1194.
Till Tantau (2005). Weak Cardinality Theorems. Journal of Symbolic Logic 70 (3):861 - 878.
Carl G. Jockusch Jr (1972). Ramsey's Theorem and Recursion Theory. Journal of Symbolic Logic 37 (2):268-280.
Matt Kaufmann (1983). Blunt and Topless End Extensions of Models of Set Theory. Journal of Symbolic Logic 48 (4):1053-1073.
Ali Enayat (2001). Power-Like Models of Set Theory. Journal of Symbolic Logic 66 (4):1766-1782.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
José Fernández Prida (1992). Un teorema de multirecursión. Theoria 7 (1-2):87-90.
J. Zashev (2001). On the Recursion Theorem in Iterative Operative Spaces. Journal of Symbolic Logic 66 (4):1727-1748.
Dick Jongh, Marc Jumelet & Franco Montagna (1991). On the Proof of Solovay's Theorem. Studia Logica 50 (1):51 - 69.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,556 of 548,999 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
