03Dxx Recursion theory
- 03D03 Thue and Post systems, etc.
- 03D05 Automata and formal grammars in connection with logical questions, See also {68Qxx}
- 03D10 Turing machines and related notions, See also {68Q05}
- 03D15 Complexity of computation, See also {68Q15}
- 03D20 Recursive functions and relations, subrecursive hierarchies
- 03D25 Recursively enumerable sets and degrees
- 03D30 Other degrees; reducibilities
- 03D35 Undecidability and degrees of sets of sentences
- 03D40 Word problems, etc., See also {06B25, 08A50, 20F10}
- 03D45 Theory of numerations, effectively presented structures, See also {03C57}
- 03D50 Recursive equivalence types of sets and structures, isols
- 03D55 Hierarchies
- 03D60 Recursion theory on ordinals, admissible sets, etc.
- 03D65 Higher-type and set recursion theory
- 03D70 Inductive definability
- 03D75 Abstract and axiomatic recursion theory
- 03D80 Applications of recursion theory
- 03D99 None of the above but in this section
--> Top level of Index
--> Top level of this Section