On the simplicity of the automorphism group of \(\mathcal P (\omega )\)/fin (Q1204121): Difference between revisions
From MaRDI portal
Latest revision as of 11:41, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the simplicity of the automorphism group of \(\mathcal P (\omega )\)/fin |
scientific article |
Statements
On the simplicity of the automorphism group of \(\mathcal P (\omega )\)/fin (English)
0 references
1 March 1993
0 references
Since the automorphism group of any saturated Boolean algebra is simple - -- the saturation here is meant in model theoretic sense ---, the automorphism group of \({\mathcal P}(\omega)/\text{fin}\) is simple under CH. In contrast, van Dowen showed that the automorphism group of \({\mathcal P}(\omega)/\text{fin}\) is non-simple if every automorphism of \({\mathcal P}(\omega)/\text{fin}\) is almost trivial (this is the case e.g. under \(\text{MA}_{\aleph_ 1}+\text{OCA}\) (Veličković)). In the paper it is proved that the simplicity of the automorphism group of \({\mathcal P}(\omega)/\text{fin}\) is preserved if we start from a model of CH and add \(\aleph_ 2\) Cohen reals.
0 references
automorphism group
0 references
simplicity
0 references
model of CH
0 references
Cohen reals
0 references