scientific article; zbMATH DE number 934728
zbMATH Open0902.03021MaRDI QIDQ4895321FDOQ4895321
Authors: S. S. Goncharov 
Publication date: 14 October 1996
scientific article; zbMATH DE number Title of this publication is (Why is no real title available?)
Recommendations
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)
Cited In (53)
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Classification from a Computable Viewpoint
- A computable structure with non-standard computability
- \(\Sigma\)-bounded algebraic systems and universal functions. II
- The minimality of certain decidability conditions for Boolean algebras
- On the applicability to semirings of two theorems from the theory of rings and modules.
- Title not available (Why is no real title available?)
- Degrees of autostability for prime Boolean algebras
- Arithmetic hierarchy and ideals of enumerated Boolean algebras
- Degrees of autostability relative to strong constructivizations for Boolean algebras
- Title not available (Why is no real title available?)
- Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable
- Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)
- The Boolean algebra of piecewise testable languages
- Countable homogeneous Boolean algebras
- Categoricity for primitive recursive and polynomial Boolean algebras
- Elementary equivalence of stable linear groups over fields of characteristic 2
- Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism
- Weak interpolation in extensions of the logics S4 and K4
- Automorphisms of Boolean algebras which are recursive over atoms
- Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
- Autostability spectra for Boolean algebras
- Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
- Computable numberings of the class of Boolean algebras with distinguished endomorphisms
- Interpolation in weakly transitive modal logics
- Title not available (Why is no real title available?)
- Simple weakly transitive modal algebras
- Punctual copies of algebraic structures
- The existence of strongly computable representations in the class of Boolean algebras
- Preserving categoricity and complexity of relations
- Title not available (Why is no real title available?)
- Around classification theory of models
- Complexity-theoretic algebra. II: Boolean algebras
- Degrees of autostability relative to strong constructivizations
- Degree spectra of structures
- The index set of Boolean algebras autostable relative to strong constructivizations
- A note on algebras of languages
- Boolean algebras of regular languages
- Effectively categorical abelian groups
- Recursive automorphisms of atomic Boolean algebras
- Boolean algebras autostable relative to \(n\)-decidable presentations
- Boolean algebras with distinguished endomorphisms and generating trees
- Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width
- Countably-categorical Boolean algebras with distinguished ideals
- Scott rank of Boolean algebras
- 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
- Local and nonvanishing superatomic Boolean algebras with a distinguished dense subalgebra
- Autostability of Boolean algebras with distinguished ideal
- Elementary theory of \({\mathfrak D}\)-degrees
- Degrees of categoricity for superatomic 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)
