陈瑞元 标准Borel空间的通用特征。 (英语) Zbl 07691750号 J.塞姆。日志。 88,编号2,510-539(2023).MSC公司:03G30型 03E15年 06至75 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Chen},J.Symb。日志。88,编号2,510--539(2023;Zbl 07691750) 全文: DOI程序 arXiv公司
Kihara,Takayuki木原 适用于可计算性理论家的Lawvere-Tierney拓扑。 (英语) Zbl 07650585号 事务处理。美国数学。Soc.,爵士。B类 10, 48-85 (2023).MSC公司:03天30分 03天80 18对25 PDF格式BibTeX公司 XML格式引用 \textit{T.Kihara},翻译。美国数学。Soc.,爵士。乙10,48-85(2023;Zbl 07650585) 全文: DOI程序 arXiv公司 OA许可证
陈瑞元 Borel函子、解释和\(\mathcal)的强概念完备性{左}_{\omega_1\omega}\)。 (英语) Zbl 1457.03062号 事务处理。美国数学。Soc公司。 372,第12号,8955-8983(2019). 审核人:伊恩·马尔科姆·约翰逊(普林斯顿) MSC公司:03E15年 03G30型 03C15号 18立方厘米 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{R.Chen},翻译。美国数学。Soc.372,No.12,8955--8983(2019;Zbl 1457.03062) 全文: DOI程序 arXiv公司
阿诺·保利 多项约简和多值函数的类别。 (英语) Zbl 1423.03157号 数学。结构。计算。科学。 27,第3号,376-404(2017).MSC公司:03D78号 03天30分 18比99 PDF格式BibTeX公司 XML格式引用 \textit{A.Pauly},数学。结构。计算。科学。27,第3号,376--404(2017;Zbl 1423.03157) 全文: DOI程序 arXiv公司