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