有限結合系與有限群（Ⅰ）
強不可接近基數(shù)上P（K）的插入定理
關于代數(shù)系統(tǒng)自同構群的一個問題
模型的并、積與齊次模型
自由群內方程的討論
可換群中無限生成元直和項消去條件的探討
計算機科學發(fā)展漫談
多個一元關系上的Vaught猜想
無原子布氏代數(shù)理論的計算復雜性
利用計算機計算古典數(shù)論問題
康托爾實數(shù)的局限性
非良基集合論模型悖論
完全二叉樹的量詞消去
完全二叉樹理論的計算復雜度
可計算實數(shù)及其在判定問題上的應用 有限結合系與有限群（Ⅰ）
強不可接近基數(shù)上P（K）的插入定理
關于代數(shù)系統(tǒng)自同構群的一個問題
模型的并、積與齊次模型
自由群內方程的討論
可換群中無限生成元直和項消去條件的探討
計算機科學發(fā)展漫談
多個一元關系上的Vaught猜想
無原子布氏代數(shù)理論的計算復雜性
利用計算機計算古典數(shù)論問題
康托爾實數(shù)的局限性
非良基集合論模型悖論
完全二叉樹的量詞消去
完全二叉樹理論的計算復雜度
可計算實數(shù)及其在判定問題上的應用
可數(shù)齊次模型的模型數(shù)
自由群的τ-理論是不可判定的
可換群理論的計算復雜性
實數(shù)加法的正式子的計算復雜性
有限系統(tǒng)上的函數(shù)與泛函數(shù)
數(shù)論中的多項式時間可計算算法
在計算機科學中去掉無限
沒有等號的有限模型論
計算實數(shù)函數(shù)的圖靈機的穩(wěn)定性
用ω-圖靈機計算實數(shù)函數(shù)
非標準數(shù)論的新定理
論文和著作目錄
后記