Groups of recursive automorphisms of constructive Boolean algebras
type: Item
instance of: scholarly article
title: Groups of recursive automorphisms of constructive Boolean algebras
zbMATH Open document ID: 0549.03031
DOI: 10.1007/BF01978663
published in: Algebra and Logic
publication date: 1983-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/187212
review text: The author uses terminology and notations from \textit{Yu. L. Ershov}'s monograph ''Decision problems and constructivizable models'' (Russian) (1980; Zbl 0495.03009). An automorphism \(\phi\) of a constructive Boolean algebra (B.a.) (B,\(\nu)\) is said to be recursive if there exists a general recursive function f such that \(\phi\nu =\nu f\). Such automorphisms form the group \(Aut_ r(B,\nu)\). It is known that for any countable B.a. B the group Aut(B) implies rich information on B. In the present paper it is shown that some algebraic and algorithmic properties of a constructive B.a. (B,\(\nu)\) may be reconstructed by \(Aut_ r(B,\nu)\). The main results of this paper are the following: 1. If a constructive B.a. (B,\(\nu)\) has an atomless element then \(Aut_ r(B,\nu)\) is not constructivizable. 2. Let (B,\(\nu)\) be a constructive B.a. such that the set of its atoms and the set of its atomless elements are recursive. Then \(Aut_ r(B,\nu)\) is constructivizable iff B is finite. Let \((B_ 1,\nu_ 1)\) and \((B_ 2,\nu_ 2)\) be atomic strongly constructive B.a. Then \(Aut_ r(B_ 1,\nu_ 1)\cong Aut_ r(B_ 2,\nu_ 2)\) implies \((B_ 1,\nu_ 1)\cong (B_ 2,\nu_ 2).\) 4. There exist non-isomorphic strongly constructive B.a. with isomorphic groups of recursive authomorphisms. 5. There exist Boolean algebras \(B_ 1\) and \(B_ 2\) such that \(B_ 1\) is strongly constructivizable, \(B_ 2\) is non-constructivizable, and \(Aut(B_ 1)\cong Aut(B_ 2).\)
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 06B05
Mathematics Subject Classification ID: 20B27
zbMATH DE Number: 3875251
zbMATH Keywords: constructive Boolean algebra
zbMATH Keywords: groups of recursive authomorphisms
author: Andrei S. Morozov
MaRDI profile type: Publication
cites work: On the automorphism groups of denumerable Boolean algebras
cites work: On the automorphism groups of homogeneous and saturated Boolean algebras
cites work: On the automorphism groups of countable Boolean algebras
OpenAlex ID: W2070917910
Recommended article: Automorphisms of constructivizations of Boolean algebras
Recommended article: Q3322080
Recommended article: Constructive homogeneous extensions
Recommended article: Strongly constructive Boolean algebras
Recommended article: Effective choice of constructivizations and recursive consistency of problems on constructive models
Recommended article: Effective choice for relations and reducibilities in classes of constructive and positive models
Recommended article: On effective choice of constructivizations
Recommended article: Q4732469
Recommended article: Q4249357
Recommended article: Q4249364
description: scientific article; zbMATH DE number 3875251