The following pages link to (Q4664637):
Displayed 3 items.
- The minimality of certain decidability conditions for Boolean algebras (Q416985) (← links)
- Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable (Q695763) (← links)
- Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\) (Q2342305) (← links)