WikiLean
Articles
·
Brain
·
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Arithmetical hierarchy
Revision #1020 → #3138 ·
back to history
added
Tarski–Kuratowski algorithm
92fa839a2e88
added
n-th Turing jump of ∅ is many-one complete in Σn+1
53a7ffda934b