Classification theory through stationary logic (Q1964144)

The author generalizes concepts from classification theory for first-order logic to stationary logic. He investigates the class of \(\aleph_\varepsilon\)-saturated models in the sense of stationary logic. Roughly speaking, the author shows that if the class of all \(\aleph_\varepsilon\)-saturated models of a theory is not classifiable in the sense of Shelah, then it is not \(L_{\infty, \aleph_0} \)-determinate.