Stationary sets and infinitary logic

Saharon Shelah, Jouko Väänänen

Let K^0_lambda be the class of structures < lambda,<,A>, where A subseteq lambda is disjoint from a club, and let K^1_lambda be the class of structures < lambda,<,A>, where A subse…