computability-theory
Articles
- Mu operatorConcept in computability theory
- Fast-growing hierarchyOrdinal-indexed family of rapidly increasing functions
- Course-of-values recursionTechnique for defining number-theoretic functions by recursion
- McCarthy FormalismComputer science and recursion theory
- Oracle machineAbstract machine used to study decision problems
- Simple set
- LOOP (programming language)Programming language
- Kleene's T predicateConcept in computability theory
- Mu operatorConcept in computability theory
- Fast-growing hierarchyOrdinal-indexed family of rapidly increasing functions
- Course-of-values recursionTechnique for defining number-theoretic functions by recursion
- Complete numbering
- Complete numbering
- Complete numbering
- Π01 class
- Oracle machineAbstract machine used to study decision problems
- Simple set
- Alpha recursion theory
- Computably inseparableConcept in computability theory
- Hyperarithmetical theory
- Hyperarithmetical theory
- Oracle machineAbstract machine used to study decision problems
- Simple set
- Myhill isomorphism theorem
- Slow-growing hierarchy
- Grzegorczyk hierarchyFunctions in computability theory
- PA degree
- Gödel numbering for sequences
- Mu operatorConcept in computability theory
- Fast-growing hierarchyOrdinal-indexed family of rapidly increasing functions
- Hardy hierarchy
- McCarthy FormalismComputer science and recursion theory
- Course-of-values recursionTechnique for defining number-theoretic functions by recursion
- Complete numbering
- McCarthy FormalismComputer science and recursion theory
- Hyperarithmetical theory
- Fast-growing hierarchyOrdinal-indexed family of rapidly increasing functions
- Mu operatorConcept in computability theory
- McCarthy FormalismComputer science and recursion theory
- Hardy hierarchy
- Hyperarithmetical theory
- Course-of-values recursionTechnique for defining number-theoretic functions by recursion
- Oracle machineAbstract machine used to study decision problems
- Simple set
- McCarthy FormalismComputer science and recursion theory
- Mu operatorConcept in computability theory
- Fast-growing hierarchyOrdinal-indexed family of rapidly increasing functions
- Complete numbering
- Oracle machineAbstract machine used to study decision problems
- Simple set