罗里波文集

有限结合系与有限群（Ⅰ）

强不可接近基数上P（K）的插入定理

关于代数系统自同构群的一个问题

模型的并、积与齐次模型

自由群内方程的讨论

可换群中无限生成元直和项消去条件的探讨

计算机科学发展漫谈

多个一元关系上的Vaught猜想

无原子布氏代数理论的计算复杂性

利用计算机计算古典数论问题

康托尔实数的局限性

非良基集合论模型悖论

完全二叉树的量词消去

完全二叉树理论的计算复杂度

可计算实数及其在判定问题上的应用

可数齐次模型的模型数

自由群的τ—理论是不可判定的

可换群理论的计算复杂性

实数加法的正式子的计算复杂性

有限系统上的函数与泛函数

数论中的多项式时间可计算算法

在计算机科学中去掉无限

没有等号的有限模型论

计算实数函数的图灵机的稳定性

用w—图灵机计算实数函数

非标准数论的新定理

论文和著作目录

后记

《模型论与计算复杂度(罗里波文集)》收集了作者所发表过的数学方面的主要文章，其中有研究论文20篇，科普文章2篇，指导研究生的论文3篇以及历史上重要文献的中译文1篇。主要内容包括：关于代数系统自同构群的一个问题、模型的并、积与齐次模型、自由群内方程的讨论、可换群中无限生成元直和项消去条件的探讨、计算机科学发展漫谈、多个一元关系上的Vaught猜想、无原子布氏代数理论的计算复杂性、利用计算机计算古典数论问题等。《模型论与计算复杂度罗里波文集》内容有无原子布氏代数理论的计算复杂性、利用计算机计算古典数论问题、康托尔实数的局限性、非良基集合论模型悖论、完全二叉树的量词消去、完全二叉树理论的计算复杂度、可计算实数及其在判定问题上的应用、可数齐次模型的模型数等。