Search results

Shore R.A.Kjos-Hanssen B. [2010] Lattice initial segments of the hyperdegrees J. Symbolic Logic, 75, № 1, 103-130 ? article Вернуться к поиску

Shore R. A. [2006] Invariants, Boolean algebras and ACA 0 + Trans. Amer. Math. Soc., 358, № 3, 989-1014 ? article Вернуться к поиску

Shore R.A. [1972] Minimal α-degrees Ann. Math. Logic, 4, № 4, 383-414 73.04.86 article Вернуться к поиску

Shore R.A. [1974] Σ n sets which are Δ n incomparable (uniformly) J. Symbolic Logic, 39, № 2, 295-304 75.07.82 article Вернуться к поиску

Shore R.A. [1979] The homogeneity conjecture Proc. Nat. Acad. Sci., USA, 76, № 9 , 4218-4219 ? OS article Вернуться к поиску

Shore R.A. [2006] Degree structure: local and global investigations Bull. Symbolic Logic, 12, № 3, 369-389 ? article Вернуться к поиску

Shore R.A. [1988] A non-inversion theorem for the jump operator Ann. Pure Appl. Logic, 40, № 3 , 277-303 ? OS article Вернуться к поиску

Shore R.A. [1975] Splitting and α-recursively enumerable sets Trans. Amer. Math. Soc., 204, № 1, 65-77 76.02.83 O article Вернуться к поиску

Shore R.A. [1974] Cohesive sets: countable and uncountable Proc. Amer. Math. Soc., 44, № 2, 442-445 75.03.93 article Вернуться к поиску

Shore R.A. [1975] The irregular and nonhyperregular α-r. e. degrees Israel. J. Math., 22, № 1, 28-41 76.07.93 O article Вернуться к поиску

Shore R.A. [1976] The recursively enumerable α-degrees are dense Ann. Math. Logic, 9, № 1-2, 123-155 76.06.35 O article Вернуться к поиску

Shore R.A. [2007] Direct and local definitions of the Turing jump J. Math. Logic, 7, № 2, 229-262 ? article Вернуться к поиску

Shore R.A. [1999] The recursively enumerable degrees Handbook of Computability Theory, Elsevier, 169-197 ? O article Вернуться к поиску Computability Theory, Elsevier,

Shore R.A. [2004] The low n and low m r.e. degrees are not elementarily equivalent Sci. in China, A47, № 6, 950-956 ? article Вернуться к поиску

Shore R.A. [2000] Natural definability in degree structures Contemporary Math., 257, 255-271 01.ВН12.65 article Вернуться к поиску

Nerode A., Shore R. A. [1997] Logic for Applications Springer-Verlag ? article Вернуться к поиску

Shore R.A., Slaman T.A. [1990] Working below a low 2 recursively enumerable degrees Arch. Math. Logik Grundl., 29, № 3, 201-211 ? O article Вернуться к поиску

Shore R.A., Slaman T.A. [1999] Defining the Turing jump Math. Research Letters, 6, № 5-6, 711-722 ? article Вернуться к поиску

Shore R.A., Slaman T.A. [2001] A splitting theorem for n-REA degrees Proc. Amer. Math. Soc., 129, № 12, 3721-3728 ? article Вернуться к поиску

Csima B., Shore R.A. [2007] The setting-time reducibility ordering J. Symbolic Logic, 72, № 3, 1055-1071 ? article Вернуться к поиску

Nies A., Shore R.A., Slaman T.A. [1996] Definability in the recursively enumerable Turing-degrees Bull. Symbolic Logic, 2, № 4, 392-404 ? article Вернуться к поиску

Groszek M.J., Shore R.A. [1988] Initial segments of the degrees of constructability Israel J. Math., 63, 149-177 ? article Вернуться к поиску

Downey R. G., Shore R. A. [1996] Lattice embedding below a non- low 2 recursively enumerable degree Israel J. Math., 94, 221-246 ? article Вернуться к поиску

Downey R. G., Lempp S., Shore R. A. [1993] Highness and bounding minimal pairs Math. Logic Quarterly 39, 475-491 ? O article Вернуться к поиску

Shore R.A. [1981] The theory of the degrees below 0 / J. London Math. Soc., 24, № 1, 1-14 82.02.56 OS article Вернуться к поиску

Shore R.A., Slaman T.A. [1993] Working below a highly recursively enumerable degree J. Symbolic Logic,, 58, № 3, 824-859 95.Г3.94 O article Вернуться к поиску

Leggett A., Shore R. A. [1976] Types of simple α-recursively enumerable sets J. Symbolic Logic, 41, № 3, 681-694 77.06.66 article Вернуться к поиску

Greenberg N., Shore R.A., Slaman T.A. [2006] The elementary theory of the metarecursively enumerable degrees J. Math. Logic, 6, № 1, 380-397 ? article Вернуться к поиску

Lerman M., Shore R.A., Soare R.I. [1978] r -maximal major subsets. Israel. J. Math., 31, № 1, 1-18 79.07.71 OS article Вернуться к поиску

Downey R. G., Shore R. A. [1998] Splitting theorem and the jump operator Ann. Pure Appl. Logic, 94, № 1-3, 45-52 ? article Вернуться к поиску

Greenberg N., Montalban A., Shore R.A. [2004] Generalized high degrees have the complementation property J. Symbolic Logic, 69, № 4, 1200-1220 ? article Вернуться к поиску

Shore R.A. [1988] Defining jump classes in the degrees below 0 / Proc. Amer. Math. Soc., 104, № 1, 287-292 89.06.44 O article Вернуться к поиску

Shore R.A. [2007] Local definitions in degree structures: the Turing jumps, hypewrdegrees and beyond Bull. Symbolic Logic, 13, № 2, 226-239 ? article Вернуться к поиску

Fejer L., Shore R.A. [1988] Infima of recursively enumerable truth table degrees Notre Dame J. Formal Logic, 29, № 3, 420-437 ? OS article Вернуться к поиску

Harrington L. A., Shore R.A. [1981] Definable degrees and automorphisms of D Bull. Amer. Math. Soc., 4, № 1, 97-100 81.11.55 OS article Вернуться к поиску

Downey R. G., Shore R. A. [1995] Degree theoretical definitions of the low 2 r. e. sets J. Symbolic Logic, 60, № 3, 727-756 96.04.62 O article Вернуться к поиску

Cholak P., Downey R. G., Shore R. A. [1998] Intervals without critical triples Lect. Notes in Logic, 11, 17-43, Springer -Verlag ? article Вернуться к поиску

Shore R.A. [1981] The degrees of unsolvability: global results Lect. Notes in Math., 859, 283-301, Springer-Verlag 82.01.45 OS article Вернуться к поиску

Shore R.A. [1976] On the jump of an α-recursively enumerable set Trans. Amer. Math. Soc., 217, № 3, 351-363 76.12.76 O article Вернуться к поиску

Shore R.A. [1977] Determining automorphisms of the recursively enumerable sets Proc. Amer. Math. Soc., 65, № 2, 318-325 78.08.77 OS article Вернуться к поиску

Shore R.A. [2004] Minimal degrees which are Σ 2 but not Δ 2 Proc. Amer. Math. Soc., 132, № 2, 563-565. 05.ВН06.51 article Вернуться к поиску

Shore R. A. [1978] Controlling the dependence degree of a recursively enumerable vector space J. Symbolic Logic, 43, № 1, 13-22 79.02.58 SG article Вернуться к поиску

Shore R.A. [1980] L * ( K ) and other lattices of the recursively enumerable sets Proc. Amer. Math. Soc., 80, № 1, 143-146 81.03.50 S article Вернуться к поиску

Ambos-Spies K., Shore R.A. [1993] Undecidability and 1-types in the recursively enumerable degrees Ann. Pure Appl. Logic, 24, № 1, 3-37 ? OS article Вернуться к поиску

Nerode A., Shore R.A. [1980] Reducibility orderings: theories, definability and automorphisms Ann. Math. Logic., 18, № 1, 61-89 80.12.40 OS article Вернуться к поиску

Maass W., Shore R.A., Stob M. [1981] Splitting properties and jump classes Israel. J. Math., 39, № 3, 210-224 82.06.55 OS article Вернуться к поиску

Lachlan A.H., Shore R.A. [1992] The n -r.e.a. enumeration degrees are dense Arch. Math. Logik Grundl., 31, № 4, 277-285 93.04.50 O article Вернуться к поиску

Odifreddi P.G. , Shore R. A. [1991] Global properties of local structures of degrees Bull. Union mat. ital., 7, № 1, 97-120 92.01.33 O article Вернуться к поиску

Haught C. A., Shore R. A. [1990] Undecidability and initial segments of the (r.e.) tt -degrees J. Symbolic Logic, 55, № 3, 987-1006 91.04.70 O article Вернуться к поиску

Khoussainov B. M., Shore R. A. [1998] Computable isomorphisms, degree spectra of relations, and Scott families Ann. Pure Appl. Logic, 93, № 2, 153-193 ? article Вернуться к поиску