5

Answers
votes newest views recent
9
Counterintuitive consequences of the Axiom of Determinacy?
4
Is the Turing equivalence relation the orbit equiv. relation of the action of a countable group?
4
What are some proofs of Godel’s Theorem which are *essentially different* from the original proof?
4
Jump Inversion of Arithmetic
12
What proofs cannot be relativized