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.
随便看	Lesbian的意思 Lesbian的意思 Lesbian的意思 lesbian love的意思 lesbianly的意思 Lesbian的意思 lesbianoid的意思 lesbians的意思 lesbian sex的意思 lesbianship的意思 lesbian studies的意思 lesbic的意思 Les biches的意思 lesbie的意思 lesbies的意思 Lesbigay的意思 lesbigays的意思 lesbionic的意思 Lesbo的意思 Les Bois的意思 lesboland的意思 Les Bondons的意思 Lesbonian的意思 lesbophile的意思 lesbophobe的意思

Hyperarithmetic set

Hyperarithmetical theory