RECURSIVE BAIRE CLASSIFICATION AND SPEEDABLE FUNCTIONS
- 作者Cristian Calude; Gabriel Istrate; Marius Zimand
- 卷第38卷
- 期第1期
- 印刷ISSN0942-5616
- 电子ISSN1521-3870
- 文件大小496.33KB
- 发表时间1992
- DOI10.1002/malq.19920380112
- 页码169-178
同作者推荐
Modeling vagueness by nonstandardnessAthanassios Tzouvaras · 1998
Objects and their lambda calculusAthanassios Tzouvaras · 2001
Aspects of analytic deductionAthanassios Tzouvaras · 1996
Forcing and antifoundationAthanassios Tzouvaras · Archive for Mathematical Logic · 2005
Erratum: “Forcing and antifoundation”Athanassios Tzouvaras · Archive for Mathematical Logic · 2005
Localizing the axiomsAthanassios Tzouvaras · 2010
Erratum to: Localizing the axiomsAthanassios Tzouvaras · 2011
Cardinality without EnumerationAthanassios Tzouvaras · Studia Logica · 2005