Pages that link to "Item:Q1050980"
From MaRDI portal
The following pages link to Computable single-valued numerations (Q1050980):
Displayed 21 items.
- Some applications of computable one-one numberings (Q750430) (← links)
- Some effects of Ash-Nerode and other decidability conditions on degree spectra (Q1182431) (← links)
- The possible Turing degree of the nonzero member in a two element degree spectrum (Q1210135) (← links)
- Degree spectra of relations on structures of finite computable dimension (Q1612487) (← links)
- Some absolute properties of \(A\)-computable numberings (Q1731521) (← links)
- On universal pairs in the Ershov hierarchy (Q2221958) (← links)
- Turing degrees of complete formulas of almost prime models (Q2300743) (← links)
- Reductions between types of numberings (Q2326424) (← links)
- Effective categoricity for distributive lattices and Heyting algebras (Q2404797) (← links)
- Enumerations in computable structure theory (Q2570135) (← links)
- Degree spectra of intrinsically c.e. relations (Q2747697) (← links)
- Degree Spectra of Relations on Computable Structures (Q4508282) (← links)
- A computably categorical structure whose expansion by a constant has infinite computable dimension (Q4650279) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q4837676) (← links)
- On the existence of universal numberings for finite families of d.c.e. sets (Q5419207) (← links)
- Boolean Algebras with Distinguished Endomorphisms and Generating Trees (Q5741387) (← links)
- Friedberg numberings in the Ershov hierarchy (Q5919177) (← links)
- Two theorems on minimal generalized computable numberings (Q6052274) (← links)
- Numberings, c.e. oracles, and fixed points (Q6062177) (← links)
- Extremal numberings and fixed point theorems (Q6094162) (← links)
- A local version of the Slaman-Wehner theorem and families closed under finite differences (Q6165007) (← links)