computable sets and functions, Turing degrees, c.e. degrees, models of computability, primitive recursion, oracle computation, models of computability, decision problems, undecidability, Turing jump, halting problem, notions of computable randomness, computable model theory, computable equivalence relation theory, arithmetic and hyperarithmetic hierarchy, infinitary computability, $\alpha$-recursion, complexity theory.
Stats
created |
6 years ago by Andrew Critch |
viewed |
37 times |
editors |
1 |
Top Answerers
more »Recent Hot Answers
What are the most attractive Turing undecidable problems in mathematics?What are the most attractive Turing undecidable problems in mathematics?
What are the most attractive Turing undecidable problems in mathematics?
What's a magical theorem in logic?
What are the most attractive Turing undecidable problems in mathematics?
more »
Related Tags
lo.logic × 222
set-theory × 62
computer-science × 60
reference-request × 40
nt.number-theory × 20
co.combinatorics × 18
gr.group-theory × 18
proof-theory × 15
reverse-math × 15
model-theory × 14
ct.category-theory × 12
peano-arithmetic × 12
algorithms × 11
formal-languages × 11
decidability × 9
soft-question × 7
lambda-calculus × 7
ordinal-numbers × 6
np × 6
forcing × 6
pr.probability × 6
more related tags