布尔代数的可判定性

英文

decidability of Boolean algebra

简介

数理逻辑中的重要概念之一.关于布尔代数的可判定性主要有以下结果：

1.塔尔斯基定理：布尔代数的一阶理论Th(BA)是可判定的.

2.鲁宾定理：有一个特异子代数的布尔代数的一阶理论是不可判定的.例如，设B是A的一个子布尔代数，则(A，B)的一阶理论是不可判定的.