journal article
Jan 01, 1994
The last question on recursively enumerablem-degrees
Topics
No keywords indexed for this article. Browse by subject →
References
13
[1]
A. H. Lachlan, ?Recursively enumerable many-one degrees,?Algebra Logika,11, No. 3, 326?358 (1972).
10.1007/bf02218612
[2]
A. Nies,Undecidable Fragments of Elementary Theories, preprint, to appear.
[3]
A. N. Degtev, ?Several results on uppersemilattices andm-degrees,?Algebra Logika,18, No. 6, 664?679 (1979).
10.1007/bf01673953
[4]
S. D. Denisov, ?The structure of the uppersemilattice of recursively enumerablem-degrees and related questions,?Algebra Logika,17, No. 6, 643?683 (1978).
10.1007/bf01673573
[5]
A. Nerode and R. Shore, ?Second-order logic and first-order theory of reducibility orderings,? in:Kleene Symposium, Barwise et al. (eds.), North Holland (1978), pp. 181?200.
[6]
L. Harrington and S. Shelah, ?The undecidability of the recursively enumerable degrees (research announcement),?Bull. Am. Math. Soc.,6, No. 1, 79?80 (1982).
10.1090/s0273-0979-1982-14970-9
[7]
R. Shore, ?The theory of the degrees below Ø?,?J. London Math. Soc.,24, No. 1, 1?14 (1981).
10.1112/jlms/s2-24.1.1
[8]
A. Nies and R. Shore, ?Interpreting arithmetic in the theory of the r.e. truth-table degrees,? to appear inAnn. Pure Appl. Logic.
[9]
P. Odifreddi,Classical Recursion Theory, Vol. 1, North Holland (1989).
[10]
A. Nies,The Model Theory of the Structure of Recursively Enumerable Many-One Degrees, preprint, to appear.
[11]
K. Ambos-Spies, A. Nies, and R. Shore, ?The theory of the r.e. weak truth-table degrees is undecidable,?J. Symb. Logic,57, No. 3, 864?874 (1992).
10.2307/2275436
[12]
Yu. L. Ershov and I. A. Lavrov, ?The uppersemilatticeL(?),?Algebra Logika,12, No. 2, 167?189 (1973).
[13]
R. I. Scare,Recursively Enumerable Sets and Degree, Springer Verlag, Berlin (1987).
Related
You May Also Like
The cyclic structure of maximal tori of the finite classical groups
A. A. Buturlakin, M. A. Grechkoseeva · 2007
49 citations
Element orders in coverings of symmetric and alternating groups
A. V. Zavarnitsin, V. D. Mazurov · 1999
41 citations