Pages that link to "Item:Q1346920"
From MaRDI portal
The following pages link to Strong constructibility of Boolean algebras of elementary characteristic (1,1,0) (Q1346920):
Displaying 3 items.
- Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable (Q695763) (← links)
- Decidable Boolean algebras of low level (Q1295398) (← links)
- Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\) (Q2342305) (← links)