scientific article
zbMATH Open0667.03024MaRDI QIDQ3994666FDOQ3994666
Publication date: 17 September 1992
Title of this publication is not available (Why is that?)
countable Boolean algebrasrecursive Boolean algebrasrecursive model theoryconstructivizationsdecidable Boolean algebrasmodel theory of Boolean algebrasTarski-Ershov classification
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 (12)
- Strong \(\Delta_1\)-definability of a model in an admissible set
- The Lindenbaum-Tarski algebra for Boolean algebras with distinguished ideals
- Decidable Boolean algebras of low level
- Strong constructibility of Boolean algebras of elementary characteristic (1,1,0)
- Homomorphisms onto negative algebras
- The number of \(Q\)-congruences in positive algebras
- Boolean algebras, Stone spaces, and the iterated Turing jump
- Computable Boolean algebras and complexity of the Fréchet ideal
- A restricted analog of the third level of Rice's theorem for semantic classes of sentences
- Determining an atomic Boolean algebra from the action of the automorphism group
- Title not available (Why is that?)
- Lindenbaum-Tarski algebra for the class of Boolean algebras with one distinguished ideal
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 Q3994666)
