Pages that link to "Item:Q4323032"
From MaRDI portal
The following pages link to Boolean algebras, Stone spaces, and the iterated Turing jump (Q4323032):
Displaying 13 items.
- Measuring complexities of classes of structures (Q499081) (← links)
- New degree spectra of Polish spaces (Q820494) (← links)
- Every recursive Boolean algebra is isomorphic to one with incomplete atoms (Q1210349) (← links)
- Coding and definability in computable structures (Q1782235) (← links)
- Iterating conditionals and symmetric Stone algebras (Q1910539) (← links)
- The Stone spaces of Boolean algebras (Q2932374) (← links)
- On the $n$-back-and-forth types of Boolean algebras (Q3116576) (← links)
- First Order Theory of Complete Stonean Algebras (Boolean-Valued Real and Complex Numbers) (Q3797176) (← links)
- Effective presentability of Boolean algebras of Cantor-Bendixson rank 1 (Q4254618) (← links)
- Every Low Boolean Algebra is Isomorphic to a Recursive One (Q4318310) (← links)
- Jump degrees of torsion-free abelian groups (Q4899162) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)
- Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) (← links)
