Automorphisms of constructivizations of Boolean algebras (Q1088654): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Recursive Boolean algebras with recursive atoms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Algebraic Simplicity of Certain Groups of Homeomorphisms / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00971303 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1984118671 / rank | |||
Normal rank |
Latest revision as of 11:05, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automorphisms of constructivizations of Boolean algebras |
scientific article |
Statements
Automorphisms of constructivizations of Boolean algebras (English)
0 references
1986
0 references
Theorem 1.1. Let \(\mu\) be a constructivization of a Boolean algebra \({\mathcal B}\), and suppose that the sets \(\mu^{-1}(the\) atoms of \({\mathcal B})\), \(\mu^{-1}(the\) atomic elements of \({\mathcal B})\), \(\mu^{-1}(the\) atomless elements of \({\mathcal B})\) are recursive. Then, for any constructivization \(\nu\) of \({\mathcal B}\), if the groups of \(\mu\)-recursive and \(\nu\)-recursive automorphisms of \({\mathcal B}\) coincide, then \(\nu\) is recursively equivalent to \(\mu\). Further, there are some results on (i) atomic constructive Boolean algebras in which every recursive automorphism moves only finitely many atoms, and (ii) the dependence of the \(\nu\)-recursive automorphism groups on \(\nu\) (e.g. they can all be conjugated in Aut(\({\mathcal B})\) with the trivial intersection). The paper is the continuation and an improvement of the author's paper in Algebra Logika 22, No.2, 138-158 (1983; Zbl 0549.03031), but can mostly be read independently. However, an acquaintance with \textit{Yu. L. Ershov}'s ''Decision problems and constructivizable models'' (in Russian) (1980; Zbl 0495.03009) is assumed.
0 references
group of recursive automorphisms
0 references
recursive equivalence of constructivizations
0 references
simplicity of automorphism groups
0 references
atomic constructive Boolean algebras
0 references