Pages that link to "Item:Q2898949"

The following pages link to Boolean algebras of elementary characteristic \((1, 0, 1)\) with computable set of atoms and computable ideal of atomic elements (Q2898949):

Displaying 12 items.

• Computable isomorphisms of Boolean algebras with operators (Q694494) (← links)
• Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable (Q695763) (← links)
• Isols and generalized Boolean algebras (Q749527) (← links)
• Computably categorical Boolean algebras enriched by ideals and atoms (Q764268) (← links)
• The existence of strongly computable representations in the class of Boolean algebras (Q1761055) (← links)
• Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\) (Q2342305) (← links)
• Boolean algebras realized by c.e. equivalence relations (Q2403654) (← links)
• Boolean algebras, Tarski invariants, and index sets (Q2505128) (← links)
• Computable Boolean algebras (Q2710598) (← links)
• Sufficient solvability conditions for Boolean algebras (Q2895849) (← links)
• (Q4406590) (← links)
• Boolean algebras with finite families of computable automorphisms (Q5482028) (← links)