Journal: Notre Dame Journal of Formal Logic

Volume 26, Issue 2

99 -- 105James H. Schmerl. Recursively saturated models generated by indiscernibles
106 -- 114John P. Burgess. From preference to utility: a problem of descriptive set theory
115 -- 128John P. Burgess, Yuri Gurevich. The decision problem for linear temporal logic
129 -- 138Alan H. Mekler, Saharon Shelah. Stationary logic and its friends. I
139 -- 177Leo Harrington, Michael Makkai. An exposition of Shelah's "main gap": counting uncountable models of ω-stable and superstable theories
178 -- 188Leo Harrington, Saharon Shelah. Some exact equiconsistency results in set theory