关于1阶域论命题的可满足性

考察了语言｛十，·，０，１｝上１阶域论命题的有限可满足性及无限可满足性，得到一些初步结论。（例如：一个存在语句能在一有限域上成立当且只当它能在一域上成立。）对于整环及除环的情况也有类似或较弱的结论。结合Ｊ．Ａｘ的结果，可得到域论及整环理论中全称语句类的可判定性。