The Analytic Polynomial-Time Hierarchy
- 作者Herbert Baier; Klaus W. Wagner
- 卷第44卷
- 期第4期
- 印刷ISSN0942-5616
- 电子ISSN1521-3870
- 文件大小863.25KB
- 发表时间1998
- DOI10.1002/malq.19980440412
- 页码529-544
同作者推荐
Making the Hyperreal Line Both Saturated and CompleteKeisler, H. Jerome; Schmerl, James H. · The Journal of Symbolic Logic · 1991
Graph Coloring and Reverse MathematicsJames H. Schmerl · 2000
Closed Normal SubgroupsJames H. Schmerl · 2001
Moving Intersticial GapsJames H. Schmerl · 2002
Remarks on Self-Extending ModelsJames H. Schmerl · 1976
Extending models of arithmeticJames H. Schmerl · 1978
Tiling space with notched cubesJames H. Schmerl · 1994