The following pages link to Computable Boolean algebras (Q2710598):
Displaying 28 items.
- Computability on linear orderings enriched with predicates (Q431704) (← links)
- Cuts of linear orders (Q651418) (← links)
- On a computable presentation of low linear orderings (Q669557) (← links)
- Computably categorical Boolean algebras enriched by ideals and atoms (Q764268) (← links)
- New degree spectra of Polish spaces (Q820494) (← links)
- Computability of distributive lattices (Q1745078) (← links)
- Coding and definability in computable structures (Q1782235) (← links)
- \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings (Q1861536) (← links)
- Degree spectra of structures (Q2036471) (← links)
- Computable presentability of countable linear orders (Q2036473) (← links)
- Decomposability and computability (Q2093255) (← links)
- Computable linear orders and the ershov hierarchy (Q2112325) (← links)
- Limitwise monotonic spectra and their generalizations (Q2117781) (← links)
- Algorithmic relationships of relations \(S_{\mathcal{L}}^n\) on linear orders (Q2172889) (← links)
- 2011 North American Annual Meeting of the Association for Symbolic Logic (Q2893284) (← links)
- Rice sequences of relations (Q2941599) (← links)
- Some Questions in Computable Mathematics (Q2973717) (← links)
- On the $n$-back-and-forth types of Boolean algebras (Q3116576) (← links)
- Boolean algebra approximations (Q3190798) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 (Q5421032) (← links)
- TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS (Q5738187) (← links)
- COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM (Q5858927) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)
- Computable Stone spaces (Q6109093) (← links)
- Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) (← links)
- Separating notions in effective topology (Q6142834) (← links)
- COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)
