Constructivizability of superatomic Boolean algebras
From MaRDI portal
Publication:1843564
DOI10.1007/BF02218638zbMath0281.02049OpenAlexW2323235711MaRDI QIDQ1843564
Publication date: 1974
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02218638
Model theory (03C99) Logical aspects of Boolean algebras (03G05) Computability and recursion theory (03D99)
Related Items (8)
Degrees of autostability relative to strong constructivizations for Boolean algebras ⋮ On weakly holographic structures ⋮ Degrees of categoricity for superatomic Boolean algebras ⋮ Autostability of models and Abelian groups ⋮ Autostability of models ⋮ Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width ⋮ Boolean Algebras with Distinguished Endomorphisms and Generating Trees ⋮ On bi-embeddable categoricity of algebraic structures
Cites Work
This page was built for publication: Constructivizability of superatomic Boolean algebras