scientific article; zbMATH DE number 934728

zbMATH Open0902.03021MaRDI QIDQ4895321FDOQ4895321

Authors: S. S. Goncharov 

Publication date: 14 October 1996

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1002913
• scientific article
• Decidable Boolean algebras of low level
• Decidable Boolean algebras of characteristic \((1,0,1)\)

zbMATH Keywords

Boolean algebraBoolean ringgenerating treeelementary characteristic of a Boolean algebraErshov-Tarski idealBoolean latticeelementary theoryErshov algebradense Booleanlinearly ordered generating setrecursion-theoretic model theory

Mathematics Subject Classification ID

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 (52)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Classification from a Computable Viewpoint
• \(\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 that?)
• 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 that?)
• 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)\)
• 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 that?)
• 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 that?)
• The Boolean Algebra of Piecewise Testable Languages
• Boolean Algebras with Distinguished Endomorphisms and Generating Trees
• Around classification theory of models
• Complexity-theoretic algebra. II: Boolean algebras
• A Computable Structure with Non-Standard Computability
• 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
• 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)