Undecidability of the theory of Boolean algebras with automorphism
Year: 1982
Type: article
Source: Siberian Mathematical Journal
DOI: 10.1007/bf00973498
Author: V. I. Mart'yanov
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1990850784