scientific article; zbMATH DE number 934728
From MaRDI portal
Publication:4895321
Boolean algebraBoolean latticeBoolean ringdense Booleanelementary characteristic of a Boolean algebraelementary theoryErshov algebraErshov-Tarski idealgenerating treelinearly ordered generating setrecursion-theoretic model theory
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02) Structure theory of Boolean algebras (06E05)
Recommendations
Cited in
(61)- Elementary theory of \({\mathfrak D}\)-degrees
- Around classification theory of models
- Countably-categorical Boolean algebras with distinguished ideals
- Alternative characterizations of finitary and well-founded Boolean algebras
- Autostability of Boolean algebras with distinguished ideal
- Decidable Boolean algebras of low level
- Automorphisms of Boolean algebras which are recursive over atoms
- Degrees of autostability for prime Boolean algebras
- Categoricity for primitive recursive and polynomial Boolean algebras
- The existence of strongly computable representations in the class of Boolean algebras
- Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism
- Degree spectra of structures
- Punctual copies of algebraic structures
- Boolean algebras of regular languages
- Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)
- Autostability spectra for Boolean algebras
- Degrees of autostability relative to strong constructivizations for Boolean algebras
- Effectively categorical abelian groups
- Degrees of categoricity for superatomic Boolean algebras
- Degrees of autostability relative to strong constructivizations
- On the applicability to semirings of two theorems from the theory of rings and modules.
- scientific article; zbMATH DE number 1002913 (Why is no real title available?)
- The Boolean algebra of piecewise testable languages
- scientific article; zbMATH DE number 3884230 (Why is no real title available?)
- Classification from a Computable Viewpoint
- scientific article; zbMATH DE number 4037810 (Why is no real title available?)
- scientific article; zbMATH DE number 4103055 (Why is no real title available?)
- Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism
- scientific article; zbMATH DE number 41688 (Why is no real title available?)
- scientific article; zbMATH DE number 42239 (Why is no real title available?)
- The minimality of certain decidability conditions for Boolean algebras
- scientific article; zbMATH DE number 4127184 (Why is no real title available?)
- scientific article; zbMATH DE number 1302871 (Why is no real title available?)
- scientific article; zbMATH DE number 1303207 (Why is no real title available?)
- Weak interpolation in extensions of the logics S4 and K4
- scientific article; zbMATH DE number 1396732 (Why is no real title available?)
- scientific article; zbMATH DE number 1396733 (Why is no real title available?)
- scientific article; zbMATH DE number 1438908 (Why is no real title available?)
- The index set of Boolean algebras autostable relative to strong constructivizations
- Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
- Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width
- A computable structure with non-standard computability
- 2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms
- Boolean algebras with distinguished endomorphisms and generating trees
- \(\Sigma\)-bounded algebraic systems and universal functions. II
- Boolean algebras autostable relative to \(n\)-decidable presentations
- Simple weakly transitive modal algebras
- A note on algebras of languages
- Elementary equivalence of stable linear groups over fields of characteristic 2
- Interpolation in weakly transitive modal logics
- Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable
- Local and nonvanishing superatomic Boolean algebras with a distinguished dense subalgebra
- Isomorphism of atomless Boolean algebras with distinguished ideals
- Countable homogeneous Boolean algebras
- Recursive automorphisms of atomic Boolean algebras
- Scott rank of Boolean algebras
- Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
- Preserving categoricity and complexity of relations
- Computable numberings of the class of Boolean algebras with distinguished endomorphisms
- Complexity-theoretic algebra. II: Boolean algebras
- Arithmetic hierarchy and ideals of enumerated Boolean algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4895321)
