The following pages link to (Q4664633):
Displaying 11 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)
- Countable homogeneous Boolean algebras (Q793713) (← links)
- Recursive and r.e. quotient Boolean algebras (Q1325051) (← links)
- Learning families of algebraic structures from informant (Q2216113) (← links)
- Recursive homogeneous Boolean algebras (Q2760734) (← links)
- On the $n$-back-and-forth types of Boolean algebras (Q3116576) (← links)
- Boolean algebra approximations (Q3190798) (← links)
- (Q4517365) (← links)
- On the computability of ordered fields (Q6587462) (← links)
- On the 1-decidability of Boolean algebras with one distinguished ideal (Q6631334) (← links)