• DOI:10.1002/malq.201900006
• Corpus ID: 119146814

Atomic saturation of reduced powers

@article{Shelah2021AtomicSO,
  title={Atomic saturation of reduced powers},
  author={Saharon Shelah},
  journal={Mathematical Logic Quarterly},
  year={2021},
  volume={67}
}

• S. Shelah
• Published 19 January 2016
• Mathematics
• Mathematical Logic Quarterly

Our aim was to try to generalize some theorems about the saturation of ultrapowers to reduced powers. Naturally, we deal with saturation for types consisting of atomic formulas. We succeed to generalize “the theory of dense linear order (or T with the strict order property) is maximal and so is any pair(T,Δ) which is SOP3”, (where Δ consists of atomic or conjunction of atomic formulas). However, the theorem on “it is enough to deal with symmetric pre‐cuts” (so the p=t theorem) cannot be generalized in this case. Similarly the uniqueness of the dual cofinality fails in this context.