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