Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2011

2011

- Rebecca Weber
- J. Symb. Log.
- 2011

Let denote the collection of all Π 1 0 classes, ordered by inclusion. A collection of Turing degrees in is called invariant over… Expand

Is this relevant?

Review

2010

Review

2010

- David Diamondstone, Damir D. Dzhafarov, Robert I. Soare
- Notre Dame Journal of Formal Logic
- 2010

We present an overview of the topics in the title and of some of the key results pertaining to them. These have historically been… Expand

Is this relevant?

2010

2010

The computability of countable subshifts and their members is examined. Results include the following. Subshifts of Cantor… Expand

Is this relevant?

2008

2008

We say that a real X is relatively r.e. if there exists a real Y such that X is r.e. (Y ) and X 6≤T Y . We say X is relatively… Expand

Is this relevant?

2007

2007

- Christopher P. Alfeld
- J. Symb. Log.
- 2007

A method of forming a circuitry testing substrate for testing circuitry of another substrate which has a plurality of exposed… Expand

Is this relevant?

2007

2007

- Stephen Binns
- 2007

An infinite binary sequence is complex if the Kolmogorov complexity of its initial segments is bounded below by a computable… Expand

Is this relevant?

2006

2006

- Linda A. Lawton
- Arch. Math. Log.
- 2006

We explore an analogue of major subset for Π01 classes, which leads to the definition and characterization of almost complemented… Expand

Is this relevant?

2006

2006

We explore an analogue of major subset for 1 classes, which leads to the definition and characterization of almost complemented 1… Expand

Is this relevant?

2004

2004

- Stephen Binns, Stephen G. Simpson
- Arch. Math. Log.
- 2004

Abstract.Let w and M be the countable distributive lattices of Muchnik and Medvedev degrees of non-empty Π10 subsets of 2ω, under… Expand

Is this relevant?

2002

By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License

ACCEPT & CONTINUE