An Exact Pair for the Arithmetic Degrees Whose Join is Not a Weak Uniform Upper Bound
Recursive Function Theory-Newsletters 28 (1982)
| 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,875 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesHarold T. Hodes (1983). More About Uniform Upper Bounds on Ideals of Turing Degrees. Journal of Symbolic Logic 48 (2):441-457.
Harold T. Hodes (1982). Jumping to a Uniform Upper Bound. Proceedings of the American Mathematical Society 85 (4):600-602.
Alistair H. Lachlan & Robert I. Soare (1994). Models of Arithmetic and Upper Bounds for Arithmetic Sets. Journal of Symbolic Logic 59 (3):977-983.
Harold T. Hodes (1981). Upper Bounds on Locally Countable Admissible Initial Segments of a Turing Degree Hierarchy. Journal of Symbolic Logic 46 (4):753-760.
Harold T. Hodes (1978). Uniform Upper Bounds on Ideals of Turing Degrees. Journal of Symbolic Logic 43 (3):601-612.
Paul Shafer (2010). Characterizing the Join-Irreducible Medvedev Degrees. Notre Dame Journal of Formal Logic 52 (1):21-38.
Michael Stob (1983). Wtt-Degrees and T-Degrees of R.E. Sets. Journal of Symbolic Logic 48 (4):921-930.
Harold T. Hodes (1983). A Minimal Upper Bound on a Sequence of Turing Degrees Which Represents That Sequence. Pacific Journal of Mathematics 108 (1):115-119.
S. Barry Cooper, Angsheng Li, Andrea Sorbi & Yue Yang (2005). Bounding and Nonbounding Minimal Pairs in the Enumeration Degrees. Journal of Symbolic Logic 70 (3):741 - 766.
Philip Welch (1987). Minimality in the ▵13-Degrees. Journal of Symbolic Logic 52 (4):908 - 915.
Klaus Ambos-Spies, Peter A. Fejer, Steffen Lempp & Manuel Lerman (1996). Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices. Journal of Symbolic Logic 61 (3):880-905.
Masahiro Kumabe (1996). Minimal Complementation Below Uniform Upper Bounds for the Arithmetical Degrees. Journal of Symbolic Logic 61 (4):1158-1192.
Alistair H. Lachlan & Robert I. Soare (1998). Models of Arithmetic and Subuniform Bounds for the Arithmetic Sets. Journal of Symbolic Logic 63 (1):59-72.
Raymond M. Smullyan (1985). Uniform Self-Reference. Studia Logica 44 (4):439 - 445.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-01-01Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
