scientific article

zbMath0667.03024MaRDI QIDQ3994666

Sergei S. Goncharov

Publication date: 17 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

countable Boolean algebrasrecursive Boolean algebrasrecursive model theoryconstructivizationsdecidable Boolean algebrasmodel theory of Boolean algebrasTarski-Ershov classification

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Structure theory of Boolean algebras (06E05) 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)

Related Items (10)

Determining an atomic Boolean algebra from the action of the automorphism group ⋮ Strong constructibility of Boolean algebras of elementary characteristic (1,1,0) ⋮ The Lindenbaum-Tarski algebra for Boolean algebras with distinguished ideals ⋮ Unnamed Item ⋮ Strong \(\Delta_1\)-definability of a model in an admissible set ⋮ Decidable Boolean algebras of low level ⋮ Lindenbaum-Tarski algebra for the class of Boolean algebras with one distinguished ideal ⋮ Homomorphisms onto negative algebras ⋮ The number of \(Q\)-congruences in positive algebras ⋮ A restricted analog of the third level of Rice's theorem for semantic classes of sentences

This page was built for publication: