Pages that link to "Item:Q2505128"
From MaRDI portal
The following pages link to Boolean algebras, Tarski invariants, and index sets (Q2505128):
Displaying 7 items.
- The index set of Boolean algebras autostable relative to strong constructivizations (Q498225) (← links)
- Computable numberings of the class of Boolean algebras with distinguished endomorphisms (Q893075) (← links)
- Fine hierarchies and m-reducibilities in theoretical computer science (Q949621) (← links)
- Index sets for some classes of structures (Q1006610) (← links)
- Scott sentences for certain groups (Q1745362) (← links)
- On the $n$-back-and-forth types of Boolean algebras (Q3116576) (← links)
- Invariants, Boolean algebras and ACA₀⁺ (Q5713163) (← links)