|
|||||
|
|
Second Order Arithmetic and Autonomous Computability |
|
| Authors: | Gailit E V |
| Institution: | (1) Novosibirsk State University, Novosibirsk |
| Abstract: | |
| Keywords: | oracle iterated Kleene computability autonomous enumeration second order arithmetic Zermelo– Fraenkel theory without the powerset axiom Hartogs lemma |
| 本文献已被 SpringerLink 等数据库收录！ | |