The following pages link to (Q4133973):
Displayed 7 items.
- Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable (Q695763) (← links)
- Applications of Boolean powers of algebraic systems (Q1075311) (← links)
- Decidable Boolean algebras of low level (Q1295398) (← links)
- Computable classes of constructivizations for models of finite constructivizability type (Q1335930) (← links)
- Strong constructibility of Boolean algebras of elementary characteristic (1,1,0) (Q1346920) (← links)
- Effectively infinite classes of weak constructivizations of models (Q1346921) (← links)
- Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\) (Q2342305) (← links)