Functional interpretations of feasibly constructive arithmetic
- 作者Stephen Cook; Alasdair Urquhart
- 卷第63卷
- 期第2期
- 印刷ISSN0168-0072
- 文件大小5743.93KB
- 发表时间1993
- DOI10.1016/0168-0072(93)90044-e
- 页码103-200
同作者推荐
Categoricity in hyperarithmetical degreesC.J. Ash · 1987
Pairs of recursive structuresC.J. Ash; J.F. Knight · 1990
Labelling systems and R.E. structuresC.J. Ash · 1990
Ramified systemsC.J. Ash; J.F. Knight · 1994
Possible degrees in recursive copies IIC.J. Ash; J.F. Knight · 1997
Intersections of algebraically closed fieldsC.J. Ash; John W. Rosenthal · 1986
Stability of recursive structures in arithmetical degreesC.J. Ash · 1986
Optimal Hartmann sensing at low light levelsD.L. Ash; C.J. Solomon; G. Loos · 1998