Pages that link to "Item:Q922530"
From MaRDI portal
The following pages link to Arithmetic hierarchy and ideals of enumerated Boolean algebras (Q922530):
Displaying 14 items.
- A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic (Q266237) (← links)
- Complexity-theoretic algebra. II: Boolean algebras (Q915723) (← links)
- Decidable Boolean algebras of low level (Q1295398) (← links)
- Recursive and r.e. quotient Boolean algebras (Q1325051) (← links)
- Essential arities in algebras of finite type and arity trees (Q1598815) (← links)
- Positive preorders (Q1757648) (← links)
- Fine hierarchy and definable index sets (Q2366368) (← links)
- Boolean algebras realized by c.e. equivalence relations (Q2403654) (← links)
- Boolean algebras, Tarski invariants, and index sets (Q2505128) (← links)
- (Q4406590) (← links)
- Definable Subsets of Polynomial-Time Algebraic Structures (Q5042236) (← links)
- Computable Stone spaces (Q6109093) (← links)
- Separating notions in effective topology (Q6142834) (← links)
- COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)