算術布爾代數

算術布爾代數(arithmetic Boolean algebra)一種特殊的布爾代數.設}'Zl=(A,+,·，‘f O,q M,q )是一個可數布爾代數(即A至多含可數個元素).

定義介紹

如果A是自然數集合N的一個算術子集，並且運算+，·和‘是算術的，而且A上的相等關係也是算術的，則稱ou是一個算術布爾代數.n元關係R是算術的，如果存在一個n+m元遞歸關係S使得

其中Q為d或3 (t1，2，，m).