Undecidability of the theory of Boolean algebras with automorphism (Q787968)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3841840
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Undecidability of the theory of Boolean algebras with automorphism |
scientific article; zbMATH DE number 3841840 |
Statements
Undecidability of the theory of Boolean algebras with automorphism (English)
0 references
1983
0 references
Translation from Sib. Mat. Zh. 23, No.3, 147-154 (Russian) (1982; Zbl 0503.03018).
0 references
undecidability
0 references
Boolean algebras
0 references
automorphism
0 references
distributive lattice
0 references
atomless
0 references
