Pages that link to "Item:Q1936277"
From MaRDI portal
The following pages link to Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism (Q1936277):
Displaying 5 items.
- Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism (Q384395) (← links)
- Categoricity spectra for polymodal algebras (Q514501) (← links)
- Computable numberings of the class of Boolean algebras with distinguished endomorphisms (Q893075) (← links)
- 2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms (Q5741344) (← links)
- Boolean Algebras with Distinguished Endomorphisms and Generating Trees (Q5741387) (← links)
