Hyperarithmetical theory

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.

单词	Hyperarithmetic set
释义	Hyperarithmetic set 英语百科 Hyperarithmetical theory 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.
随便看	current trend current trends current triangle current trigger capability current type current type flowmeter current type telemeter current undertaking current unit current unit cost current United States dollars current units Current use current user current user coordinate system current user name current use value Current Value current value accounting current value approach current value costing current value depreciation current value financial statement current value income current variable

Hyperarithmetic set

Hyperarithmetical theory