Pages that link to "Item:Q2652167"
From MaRDI portal
The following pages link to The upper semi-lattice of degrees of recursive unsolvability (Q2652167):
Displayed 50 items.
- A personal account of Turing's imprint on the development of computer science (Q465701) (← links)
- Natural factors of the Medvedev lattice capturing IPC (Q481874) (← links)
- Genericity for Mathias forcing over general Turing ideals (Q503254) (← links)
- Computational processes, observers and Turing incompleteness (Q616506) (← links)
- On the theory of the PTIME degrees of the recursive sets (Q751819) (← links)
- Mass problems associated with effectively closed sets (Q765664) (← links)
- Computing degrees of unsolvability (Q770790) (← links)
- Goodness in the enumeration and singleton degrees (Q992037) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- The density of the nonbranching degrees (Q1055403) (← links)
- On effectively computable realizations of choice functions (Q1072545) (← links)
- The minimum degree of recursively representable choice functions (Q1072546) (← links)
- Not every finite lattice is embeddable in the recursively enumerable degrees (Q1142206) (← links)
- Countable admissible ordinals and hyperdegrees (Q1142207) (← links)
- The p-T-degrees of the recursive sets: Lattice embeddings, extensions of embeddings and the two-quantifier theory (Q1193873) (← links)
- Augmented loop languages and classes of computable functions (Q1219687) (← links)
- An oracle builder's toolkit (Q1398366) (← links)
- Refining the taming of the reverse mathematics zoo (Q1633897) (← links)
- On the uniform computational content of computability theory (Q1694010) (← links)
- Lattice nonembeddings and intervals of the recursively enumerable degrees (Q1802183) (← links)
- A semantical proof of De Jongh's theorem (Q1812961) (← links)
- Initial segments of the degrees of size \(\aleph _ 1\) (Q1820153) (← links)
- Priority constructions (Q1923576) (← links)
- Separating weak \(\alpha\)-change and \(\alpha\)-change genericity (Q2140582) (← links)
- Transducer degrees: atoms, infima and suprema (Q2182680) (← links)
- The minimum of two regressive isols (Q2626678) (← links)
- Infima of d.r.e. degrees (Q2655142) (← links)
- Computably enumerable Turing degrees and the meet property (Q2790280) (← links)
- Strong and weak reducibility of algorithmic problems1 (Q2799750) (← links)
- Extensions of embeddings below computably enumerable degrees (Q2838113) (← links)
- Formalism and intuition in computability (Q2941588) (← links)
- Weakly Represented Families in Reverse Mathematics (Q2970957) (← links)
- Complementation in the Turing degrees (Q3032238) (← links)
- Forcing and reducibilities (Q3041177) (← links)
- Decomposition and infima in the computably enumerable degrees (Q3160553) (← links)
- The Typical Constructible Object (Q3188247) (← links)
- Degrees of Unsolvability: A Tutorial (Q3195683) (← links)
- Arithmetical Predicates and Function Quantifiers (Q3226750) (← links)
- Hierarchies of number-theoretic predicates (Q3226751) (← links)
- Recursive well-orderings (Q3227571) (← links)
- A criterion for completeness of degrees of unsolvability (Q3243262) (← links)
- Some Theorems on Classes of Recursively Enumerable Sets (Q3255349) (← links)
- (Q3256314) (← links)
- Measure-theoretic construction of incomparable hyperdegrees (Q3256319) (← links)
- On a Subrecursive Hierarchy and Primitive Recursive Degrees (Q3257773) (← links)
- Gödel numberings of partial recursive functions (Q3260572) (← links)
- Constructive Versions of Ordinal Number Classes (Q3281066) (← links)
- Degrees of models (Q3290719) (← links)
- Independence Results on the Global Structure of the Turing Degrees (Q3309826) (← links)
- Discontinuities of provably correct operators on the provably recursive real numbers (Q3337468) (← links)