✦ LIBER ✦

Restricted theories of constructive Boolean algebras

✍ Scribed by S. S. Goncharov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constructive Boolean algebras

✍ V. Dzgoev 📂 Article 📅 1988 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 354 KB

Strongly constructive Boolean algebras

✍ P. E. Alaev 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 249 KB

Metric Boolean algebras and constructive

✍ Thierry Coquand; Erik Palmgren 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 142 KB

Atom-free ideals of constructive boolean

✍ S. P. Odintsov 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 1004 KB

Constructive boolean algebras with almos

✍ A. S. Morozov 📂 Article 📅 1985 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 227 KB

Elementary theories of free topo-Boolean

✍ V. V. Rybakov 📂 Article 📅 1985 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 289 KB