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
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