Atomic saturation of reduced powers

Abstract

Our aim was to generalize some theorems about the saturation of ultra-powers to reduced powers. Naturally, we deal via saturation for types consisting of atomic formulas. We succeed to generalize the theory of dense linear is maximal and so is any pair (T, Delta) which is SOP_3 (Delta consists of atomic or conjunction of atomic formulas). However, SOP_2 is not enough, so the p equals t theorem cannot be generalized in this case. Similarly the unique dual of cofinality.