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