WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Arithmetical hierarchy

Revision #3224 → #3777 · back to history

addedHalting problem for a Σn oracle sits in Σn+1e9a7e4b953ef
addedn-th Turing jump of ∅ is Turing complete in Δn+1574c354807ba