無限擴張域 Fp(t) 的庫默塔的不可判定性

在正特徵域中，對於每個奇質數 p 和與 p 互質的正整數 n，通過將 Fp[t] 中所有次數可被 n 整除的首一不可約多項式的 n 次根加入而生成的域的複合域，其一階理論在帶有變量 t 作為常數的環語言中是不可判定的。