scientific article
From MaRDI portal
Publication:3487329
zbMath0707.03034MaRDI QIDQ3487329
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45)
Related Items (29)
The jump operation for structure degrees ⋮ A note on the enumeration degrees of 1-generic sets ⋮ The automorphism group of the enumeration degrees ⋮ There exists a maximal 3-c.e. enumeration degree ⋮ IN MEMORIAM: BARRY COOPER 1943–2015 ⋮ Agreement reducibility ⋮ Unnamed Item ⋮ Total Degrees and Nonsplitting Properties of $\Sigma_2^0$ Enumeration Degrees ⋮ s-Degrees within e-Degrees ⋮ The enumeration degrees: Local and global structural interactions ⋮ Cupping Classes of $\Sigma^0_2$ Enumeration Degrees ⋮ Enumeration reducibility and positive reducibility of the numberings of families of arithmetic sets ⋮ Splitting and nonsplitting in the \(\Sigma_2^0\) enumeration degrees ⋮ Density of the cototal enumeration degrees ⋮ Complements for enumeration \(\Pi_1^0\)-degrees ⋮ Avoiding uniformity in the \(\Delta_2^0\) enumeration degrees ⋮ Cupping and definability in the local structure of the enumeration degrees ⋮ The automorphism group and definability of the jump operator in the \(\omega\)-enumeration degrees ⋮ Weakly semirecursive sets and r.e. orderings ⋮ The minimal e-degree problem in fragments of Peano arithmetic ⋮ Fragments of the theory of the enumeration degrees ⋮ Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets ⋮ The structure of the s-degrees contained within a single e-degree ⋮ The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees ⋮ Empty intervals in the enumeration degrees ⋮ The jump operator on the \(\omega \)-enumeration degrees ⋮ Branching in the enumeration degrees of the \(\Sigma_2^0\) sets ⋮ Sets of generator and automorphism bases for the enumeration degrees ⋮ Definability via Kalimullin pairs in the structure of the enumeration degrees
This page was built for publication:
