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.

单词	hyperarithmetical
释义	hyperarithmetical 英汉-汉英词典 adj. 超算术的词组 \| 习惯用语您要查找的是不是： hypercritical adj. (尤指对小错误)吹毛求疵的;过于苛刻的 arithmetician n. 算术家 logarithmically 对数网络短语: hyperarithmetical 超算术的 hyperarithmetical relation 超算术关系 hyperarithmetical hierarchy 超算术谱系英语百科 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.
随便看	artbrolithiasis art bronze art brut art bulb ARTC art canas art canvas art car art carpet art casting art castings ARTCC art center Art Center College of Design art ceramics art chafing dish artcher art cinema art circles ARTCL art class art classes ARTCLD art collection art collections

hyperarithmetical

您要查找的是不是：

网络短语:

Hyperarithmetical theory