scientific article; zbMATH DE number 934728
From MaRDI portal
Publication:4895321
Boolean algebraBoolean ringgenerating treeelementary characteristic of a Boolean algebraErshov-Tarski idealBoolean latticeelementary theoryErshov algebradense Booleanlinearly 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) Structure theory of Boolean algebras (06E05) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)
Recommendations
Cited in
(53)- Interpolation in weakly transitive modal logics
- Autostability of Boolean algebras with distinguished ideal
- Elementary theory of \({\mathfrak D}\)-degrees
- Degrees of autostability relative to strong constructivizations
- Degree spectra of structures
- scientific article; zbMATH DE number 4127184 (Why is no real title available?)
- The existence of strongly computable representations in the class of Boolean algebras
- Complexity-theoretic algebra. II: Boolean algebras
- scientific article; zbMATH DE number 4103055 (Why is no real title available?)
- Preserving categoricity and complexity of relations
- Weak interpolation in extensions of the logics S4 and K4
- scientific article; zbMATH DE number 3884230 (Why is no real title available?)
- Boolean algebras autostable relative to \(n\)-decidable presentations
- Effectively categorical abelian groups
- Around classification theory of models
- Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable
- The minimality of certain decidability conditions for Boolean algebras
- Degrees of categoricity for superatomic Boolean algebras
- Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)
- scientific article; zbMATH DE number 41688 (Why is no real title available?)
- Classification from a Computable Viewpoint
- scientific article; zbMATH DE number 1396733 (Why is no real title available?)
- \(\Sigma\)-bounded algebraic systems and universal functions. II
- Scott rank of Boolean algebras
- Degrees of autostability for prime Boolean algebras
- The Boolean algebra of piecewise testable languages
- Boolean algebras with distinguished endomorphisms and generating trees
- 2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms
- Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism
- Recursive automorphisms of atomic Boolean algebras
- scientific article; zbMATH DE number 4037810 (Why is no real title available?)
- Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
- Autostability spectra for Boolean algebras
- Arithmetic hierarchy and ideals of enumerated Boolean algebras
- Simple weakly transitive modal algebras
- Punctual copies of algebraic structures
- Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
- Automorphisms of Boolean algebras which are recursive over atoms
- Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width
- The index set of Boolean algebras autostable relative to strong constructivizations
- Elementary equivalence of stable linear groups over fields of characteristic 2
- Countable homogeneous Boolean algebras
- A computable structure with non-standard computability
- A note on algebras of languages
- Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism
- Computable numberings of the class of Boolean algebras with distinguished endomorphisms
- Countably-categorical Boolean algebras with distinguished ideals
- Categoricity for primitive recursive and polynomial Boolean algebras
- Boolean algebras of regular languages
- Degrees of autostability relative to strong constructivizations for Boolean algebras
- On the applicability to semirings of two theorems from the theory of rings and modules.
- Local and nonvanishing superatomic Boolean algebras with a distinguished dense subalgebra
- scientific article; zbMATH DE number 1396732 (Why is no real title available?)
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)
