Pages that link to "Item:Q2342305"
From MaRDI portal
The following pages link to Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\) (Q2342305):
Displaying 6 items.
- Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable (Q695763) (← links)
- The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one (Q779152) (← links)
- Elementary theory of \({\mathfrak D}\)-degrees (Q1081598) (← links)
- Strong constructibility of Boolean algebras of elementary characteristic (1,1,0) (Q1346920) (← links)
- Sufficient solvability conditions for Boolean algebras (Q2895849) (← links)
- Boolean algebras of elementary characteristic \((1, 0, 1)\) with computable set of atoms and computable ideal of atomic elements (Q2898949) (← links)
