Did you mean: Highness and Local Non Capability.
Highness and local noncappability
C Fang, W Shenling, G Wu - Conference on Computability in Europe, 2012 - Springer
… Here a ce degree a is locally noncappable if there is a ce degree … locally noncappable.
Seetapun proved in his thesis [7] that every nonzero incomplete ce degree is locally noncappable…
Seetapun proved in his thesis [7] that every nonzero incomplete ce degree is locally noncappable…
Highness, locally noncappability and nonboundings
… A recursively enumerable (re) degree a is locally noncappable if … We say that c witnesses
that a is locally noncappable. … deg(A ⊕ C) witnesses that a is locally noncappable. That is, C is …
that a is locally noncappable. … deg(A ⊕ C) witnesses that a is locally noncappable. That is, C is …
Contributions to degree structures
S Wang - 2011 - dr.ntu.edu.sg
… In Chapter 3, we study the locally noncappable degrees, and we prove that for any nonzero
… d > a witnessing that a is locally noncappable, and c ∨ d is high. This result implies that both …
… d > a witnessing that a is locally noncappable, and c ∨ d is high. This result implies that both …
Noncappable enumeration degrees below 0e′
SB Cooper, A Sorbi - The Journal of Symbolic Logic, 1996 - cambridge.org
… We prove that there exists a noncappable enumeration … depth of knowledge of specific local
structure (see for example … In particular, many basic questions concerning the local theory …
structure (see for example … In particular, many basic questions concerning the local theory …
Initial segments of the enumeration degrees
H Ganchev, A Sorbi - The Journal of Symbolic Logic, 2016 - cambridge.org
… all high; there is a nonsplitting high enumeration degree; every noncappable enumeration
degree is high; … local jump (ie, any jump that can be realized by enumeration degrees of the …
degree is high; … local jump (ie, any jump that can be realized by enumeration degrees of the …
[CITATION][C] Cupping and noncapping in the re weak truth table and Turing degrees
K Ambos-Spies - Archiv für mathematische Logik und …, 1985 - Springer
… As Ladner and Sasso [9] observed, however, distributivity can be locally carried over …
noncappable re wtt degrees. We show that all but one of the characterizations of the noncappable …
noncappable re wtt degrees. We show that all but one of the characterizations of the noncappable …
Local structure theory and the Ershov hierarchy
C Fang - 2012 - dr.ntu.edu.sg
… and proposed the concept of locally noncappable as follows. … A ce degree a is called locally
noncappable if there is a ce degree c … Here c is a witness for the local noncappability of a. …
noncappable if there is a ce degree c … Here c is a witness for the local noncappability of a. …
DEFINABILITY IN LOCAL DEGREE STRUCTURES–A SURVEY OF RECENT RESULTS RELATED TO JUMP CLASSES
A LI, YUE YANG - Proceedings of the 7th and 8th Asian Logic …, 2003 - World Scientific
… We use M and NC to denote the set of all cappable and noncappable ce degrees, respectively.
… Before we discuss noncappable degrees, we mention the following result by Shore. We …
… Before we discuss noncappable degrees, we mention the following result by Shore. We …
An algebraic decomposition of the recursively enumerable degrees and the coincidence of several degree classes with the promptly simple degrees
K Ambos-Spies, CG Jockusch, RA Shore… - Transactions of the …, 1984 - ams.org
… noncappable degrees. Furthermore, NC coincides with five other apparently unrelated
subclasses of R: ENC, the effectively noncappable … , noncappable and effectively noncappable re …
subclasses of R: ENC, the effectively noncappable … , noncappable and effectively noncappable re …
In memoriam: Barry Cooper 1943–2015
A Lewis-Pye, A Sorbi - Bulletin of Symbolic Logic, 2016 - cambridge.org
… A great deal of what is known about the local structure is due to work done by Cooper himself,
or coauthored with other collaborators: the existence of noncappable e-degrees ([13]); the …
or coauthored with other collaborators: the existence of noncappable e-degrees ([13]); the …
Did you mean to search for: Highness and Local Non Capability.