Hyperarithmetical theory

（重定向自Hyperarithmetical hierarchy）

In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second-order arithmetic and with weak systems of set theory such as Kripke–Platek set theory. It is an important tool in effective descriptive set theory.

单词	Hyperarithmetical hierarchy
释义	Hyperarithmetical hierarchy 英语百科 Hyperarithmetical theory （重定向自Hyperarithmetical hierarchy） In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second-order arithmetic and with weak systems of set theory such as Kripke–Platek set theory. It is an important tool in effective descriptive set theory.
随便看	flyproof fly pump Fly R. fly rafter Fly rail flyre fly reed Fly repellent flyright fly right flyriver Fly River Fly River Turtle flyrock fly rock Fly rod flyrod flyrodder fly rods flyrods fly roll fly rope fly round flysch facies flysch formation