Praca zawiera przegląd wyników związanych z problemem ustalenia mocy i struktury grupy automorfizmów algebry P(ω)/fin. Główną jej częścią jest prezentacja konstrukcji modelu, w którym grupa ... więcej

Praca zawiera przegląd wyników związanych z problemem ustalenia mocy i struktury grupy automorfizmów algebry P(ω)/fin. Główną jej częścią jest prezentacja konstrukcji modelu, w którym grupa ta jest generowana przez podgrupę automorfizmów trywialnych oraz podgrupę izomorficzną z grupą automorfizmów wybranej na początku konstrukcji algebry Boole'a mocy nie większej niż continuum. Praca jest referatem wygłoszonym na konferencji Logic Colloquium 2010, która odbyła się w Paryżu, w terminie 25-31.07.2010.

The talk was given during Logic Colloquium 2010, Paris, 25-31. 07.2010. The main subject of the talk was the cardinality and structure of the group of automorphisms of the Boolean algebra P(ω)/fin. ... więcej

The talk was given during Logic Colloquium 2010, Paris, 25-31. 07.2010. The main subject of the talk was the cardinality and structure of the group of automorphisms of the Boolean algebra P(ω)/fin. We show, that the cardinality and structure of the group can be (almost) arbitrary. We construct a model in which the group is generated by the subgroup of trivial automorphisms and a subgroup isomorphic to arbitrary group (of cardinality between the continuum and 2 to the continuum).