Boolean algebras of elementary characteristic (1, 0, 1) whose set of atoms and Ershov-Tarski ideal are computable
From MaRDI portal
Publication:695763
DOI10.1007/S10469-011-9126-9zbMATH Open1345.03064OpenAlexW2028362788MaRDI QIDQ695763FDOQ695763
Authors: M. N. Leont'eva 
Publication date: 17 December 2012
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-011-9126-9
Recommendations
- Boolean algebras of elementary characteristic \((1, 0, 1)\) with computable set of atoms and computable ideal of atomic elements
- Publication:4936684
- Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)
- Strong constructibility of Boolean algebras of elementary characteristic (1,1,0)
- scientific article; zbMATH DE number 934728
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Hierarchies of Boolean algebras
- Title not available (Why is that?)
- Boolean algebras of elementary characteristic \((1, 0, 1)\) with computable set of atoms and computable ideal of atomic elements
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (7)
- Title not available (Why is that?)
- The minimality of certain decidability conditions for Boolean algebras
- Boolean algebras realized by c.e. equivalence relations
- Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)
- Boolean algebras, Tarski invariants, and index sets
- The existence of strongly computable representations in the class of Boolean algebras
- Boolean algebras of elementary characteristic \((1, 0, 1)\) with computable set of atoms and computable ideal of atomic elements
This page was built for publication: Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q695763)
