Moc i struktura grupy automorfizmów algebry P(ω)/fin zależy do dodatkowych aksjomatów (hipotezy continuum, MA, PFA) i modelu, w którym ją badamy. Dodanie nowych elementów do modelu, przy użyciu ... więcej

Moc i struktura grupy automorfizmów algebry P(ω)/fin zależy do dodatkowych aksjomatów (hipotezy continuum, MA, PFA) i modelu, w którym ją badamy. Dodanie nowych elementów do modelu, przy użyciu forsingu, eliminuje pewne automorfizmy. W pracy podano warunki, które musi spełniać automorfizm, aby (lokalnie) istniało jego rozszerzenie w większym modelu. Przedstawiony został forsing, który dodaje permutację lokalnie trywializującą automorfizm.

The cardinality and the structure of the group of automorphisms of the algebra P(ω)/fin depend on some additional axioms. Some automorphisms are eliminated by forcings but there are automorphisms, ... więcej

The cardinality and the structure of the group of automorphisms of the algebra P(ω)/fin depend on some additional axioms. Some automorphisms are eliminated by forcings but there are automorphisms, which are preserved by all proper forcings. The paper is devoted to study which automorphisms cannot be eliminated by forcing. Morover a forcing adding an (almost) permutation which make some automorphim (locally) trivial is presented.