Pages that link to "Item:Q1088654"
From MaRDI portal
The following pages link to Automorphisms of constructivizations of Boolean algebras (Q1088654):
Displaying 14 items.
- Groups of recursive automorphisms of constructive Boolean algebras (Q800354) (← links)
- Constructive Boolean algebras with almost-identical automorphisms (Q1078560) (← links)
- Automorphisms of Boolean algebras which are recursive over atoms (Q1307158) (← links)
- Automorphisms of Boolean algebras determined by fixed points (Q1760969) (← links)
- Automorphisms, negations and implication operators (Q1867699) (← links)
- Automorphisms of Boolean algebras definable by fixed elements (Q1936274) (← links)
- Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism (Q1936277) (← links)
- Automorphisms and Recursive Structures (Q3775545) (← links)
- (Q3794232) (← links)
- On Boolean Algebras and their Recursive Completions (Q4722062) (← links)
- (Q5184884) (← links)
- (Q5202182) (← links)
- Boolean algebras with finite families of computable automorphisms (Q5482028) (← links)
- Autometrized Boolean Algebras I: Fundamental Distance-Theoretic Properties of B (Q5803314) (← links)