Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Π01 class

Known as: Pi01 class 
In computability theory, a Π01 class is a subset of 2ω of a certain form. These classes are of interest as a technical tool within recursion theory… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
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
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
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
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
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
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?