Pages that link to "Item:Q384395"
From MaRDI portal
The following pages link to Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism (Q384395):
Displaying 6 items.
- Computably categorical Boolean algebras enriched by ideals and atoms (Q764268) (← links)
- Categoricity for primitive recursive and polynomial Boolean algebras (Q1731520) (← links)
- Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism (Q1936277) (← links)
- (Q5398234) (← links)
- Boolean algebras with finite families of computable automorphisms (Q5482028) (← links)
- Boolean Algebras with Distinguished Endomorphisms and Generating Trees (Q5741387) (← links)
