有限结合系与有限群（Ⅰ）
强不可接近基数上P（K）的插入定理
关于代数系统自同构群的一个问题
模型的并、积与齐次模型
自由群内方程的讨论
可换群中无限生成元直和项消去条件的探讨
计算机科学发展漫谈
多个一元关系上的Vaught猜想
无原子布氏代数理论的计算复杂性
利用计算机计算古典数论问题
康托尔实数的局限性
非良基集合论模型悖论
完全二叉树的量词消去
完全二叉树理论的计算复杂度
可计算实数及其在判定问题上的应用
可数齐次模型的模型数
自由群的τ-理论是不可判定的
可换群理论的计算复杂性
实数加法的正式子的计算复杂性
有限系统上的函数与泛函数
数论中的多项式时间可计算算法
在计算机科学中去掉无限
没有等号的有限模型论
计算实数函数的图灵机的稳定性
用ω-图灵机计算实数函数
非标准数论的新定理
论文和著作目录
后记