Automorphisms of constructivizations of Boolean algebras (Q1088654): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q630291 |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Andrey S. Morozov / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
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 |
Revision as of 18:46, 17 June 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