scientific article; zbMATH DE number 1531930
From MaRDI portal
Publication:4513973
Recommendations
- Definability degrees
- Definability and initial segments of c-degrees
- Definability in the enumeration degrees
- scientific article; zbMATH DE number 510777
- New Computational Paradigms
- Definability in the Recursively Enumerable Degrees
- Definability issues in the -Turing degrees
- scientific article; zbMATH DE number 1531934
- scientific article; zbMATH DE number 4053605
- Definability in the Turing degrees
Cited in
(11)- Definability in the Turing degrees
- On the problem of definability of the computably enumerable degrees in the difference hierarchy
- Interpreting \(\mathbb{N}\) in the computably enumerable weak truth table degrees
- On definable filters in computably enumerable degrees
- Well-Quasi Orders and Hierarchy Theory
- On the definable ideal generated by nonbounding c.e. degrees
- Definability in the Infix Order on Words
- Interpretability and Definability in the Recursively Enumerable Degrees
- PARAMETER DEFINABILITY IN THE RECURSIVELY ENUMERABLE DEGREES
- Definable relations in Turing degree structures
- Definability in the structure of words with the inclusion relation
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4513973)