Classification Theory and Stationary Logic
Classification Theory and Stationary Logic
Stationary logic L(aa) is obtained for L ωω by adding a quantifier aa which ranges over countable sets and is interpreted to mean “for a closed unbounded set of countable subsets”. The dual quantifier for aa is stat, i.e., stat sφ(s) is equivalent to ¬aa s ¬φ( s ). In …