×

zbMATH — the first resource for mathematics

Bounded theories of constructive Boolean algebras. (Russian) Zbl 0361.02066

MSC:
03C68 Other classical first-order model theory
03C60 Model-theoretic algebra
03F99 Proof theory and constructive mathematics
06E05 Structure theory of Boolean algebras
PDF BibTeX XML Cite
Full Text: EuDML