A Definitive Constructive Open Mapping Theorem?
- 作者Douglas Bridges; Hajime Ishihara
- 卷第44卷
- 期第4期
- 印刷ISSN0942-5616
- 电子ISSN1521-3870
- 文件大小435.92KB
- 发表时间1998
- DOI10.1002/malq.19980440413
- 页码545-552
同作者推荐
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