Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Computability_theory> . }
- Ackermann_function subject Category:Computability_theory.
- Admissible_numbering subject Category:Computability_theory.
- Algorithm_characterizations subject Category:Computability_theory.
- Algorithm_examples subject Category:Computability_theory.
- Alpha_recursion_theory subject Category:Computability_theory.
- Analytical_hierarchy subject Category:Computability_theory.
- Arithmetical_hierarchy subject Category:Computability_theory.
- Arithmetical_set subject Category:Computability_theory.
- Automatic_group subject Category:Computability_theory.
- Automatic_semigroup subject Category:Computability_theory.
- Bounded_quantifier subject Category:Computability_theory.
- Busy_beaver subject Category:Computability_theory.
- Chain_rule_for_Kolmogorov_complexity subject Category:Computability_theory.
- Church–Turing_thesis subject Category:Computability_theory.
- Church–Turing–Deutsch_principle subject Category:Computability_theory.
- Circuit_satisfiability_problem subject Category:Computability_theory.
- Complete_numbering subject Category:Computability_theory.
- Computability subject Category:Computability_theory.
- Computability_logic subject Category:Computability_theory.
- Computability_theory subject Category:Computability_theory.
- Computable_analysis subject Category:Computability_theory.
- Computable_function subject Category:Computability_theory.
- Computable_isomorphism subject Category:Computability_theory.
- Computable_number subject Category:Computability_theory.
- Computation subject Category:Computability_theory.
- Computation_in_the_limit subject Category:Computability_theory.
- Computational_theology subject Category:Computability_theory.
- Course-of-values_recursion subject Category:Computability_theory.
- Craig's_theorem subject Category:Computability_theory.
- Creative_and_productive_sets subject Category:Computability_theory.
- Decision_problem subject Category:Computability_theory.
- Description_number subject Category:Computability_theory.
- Double_recursion subject Category:Computability_theory.
- ELEMENTARY subject Category:Computability_theory.
- Effective_Polish_space subject Category:Computability_theory.
- Effective_method subject Category:Computability_theory.
- Entscheidungsproblem subject Category:Computability_theory.
- Fast-growing_hierarchy subject Category:Computability_theory.
- Forcing_(recursion_theory) subject Category:Computability_theory.
- Friedberg_numbering subject Category:Computability_theory.
- Grzegorczyk_hierarchy subject Category:Computability_theory.
- Gödel_numbering_for_sequences subject Category:Computability_theory.
- Halting_problem subject Category:Computability_theory.
- Hardy_hierarchy subject Category:Computability_theory.
- High_(computability) subject Category:Computability_theory.
- History_of_the_Church–Turing_thesis subject Category:Computability_theory.
- Hyperarithmetical_theory subject Category:Computability_theory.
- Index_set_(recursion_theory) subject Category:Computability_theory.
- K-trivial_set subject Category:Computability_theory.
- Kleene's_T_predicate subject Category:Computability_theory.
- Kleene's_recursion_theorem subject Category:Computability_theory.
- Kolmogorov_complexity subject Category:Computability_theory.
- König's_lemma subject Category:Computability_theory.
- LOOP_(programming_language) subject Category:Computability_theory.
- Lambda_calculus subject Category:Computability_theory.
- List_of_undecidable_problems subject Category:Computability_theory.
- Low_(computability) subject Category:Computability_theory.
- Low_basis_theorem subject Category:Computability_theory.
- Many-one_reduction subject Category:Computability_theory.
- Martin_measure subject Category:Computability_theory.
- Maximal_set subject Category:Computability_theory.
- McCarthy_Formalism subject Category:Computability_theory.
- Myhill_isomorphism_theorem subject Category:Computability_theory.
- Normal_form_(abstract_rewriting) subject Category:Computability_theory.
- Numbering_(computability_theory) subject Category:Computability_theory.
- Oracle_machine subject Category:Computability_theory.
- PA_degree subject Category:Computability_theory.
- Post's_theorem subject Category:Computability_theory.
- Post_correspondence_problem subject Category:Computability_theory.
- Primitive_recursive_function subject Category:Computability_theory.
- Primitive_recursive_functional subject Category:Computability_theory.
- Recursion_(computer_science) subject Category:Computability_theory.
- Recursive_language subject Category:Computability_theory.
- Recursive_languages_and_sets subject Category:Computability_theory.
- Recursive_ordinal subject Category:Computability_theory.
- Recursive_set subject Category:Computability_theory.
- Recursively_enumerable_set subject Category:Computability_theory.
- Recursively_inseparable_sets subject Category:Computability_theory.
- Reduction_(recursion_theory) subject Category:Computability_theory.
- Reverse_mathematics subject Category:Computability_theory.
- Richardson's_theorem subject Category:Computability_theory.
- Simple_set subject Category:Computability_theory.
- Slow-growing_hierarchy subject Category:Computability_theory.
- Smn_theorem subject Category:Computability_theory.
- Tarski–Kuratowski_algorithm subject Category:Computability_theory.
- Trakhtenbrot's_theorem subject Category:Computability_theory.
- Truth-table_reduction subject Category:Computability_theory.
- Turing_degree subject Category:Computability_theory.
- Turing_jump subject Category:Computability_theory.
- Turing_machine subject Category:Computability_theory.
- Turing_reduction subject Category:Computability_theory.
- Utm_theorem subject Category:Computability_theory.
- Μ-recursive_function subject Category:Computability_theory.
- Μ_operator subject Category:Computability_theory.
- Π01_class subject Category:Computability_theory.
- Category:Combinatory_logic broader Category:Computability_theory.
- Category:Computability_theorists broader Category:Computability_theory.
- Category:Computable_analysis broader Category:Computability_theory.
- Category:Effective_descriptive_set_theory broader Category:Computability_theory.
- Category:Hypercomputation broader Category:Computability_theory.