The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.
Volume 26, Number 2
Publication Date: April 1985
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 26, issue 2 (1985)
Recursively saturated models generated by indiscernibles.
James H. Schmerl; 99-105
From preference to utility: a problem of descriptive set theory.
John P. Burgess; 106-114
The decision problem for linear temporal logic.
John P. Burgess and Yuri Gurevich; 115-128
Stationary logic and its friends. I.
Alan H. Mekler and Saharon Shelah; 129-138
An exposition of Shelah's ``main gap'': counting uncountable models of $\omega$-stable and superstable theories.
L. Harrington and M. Makkai; 139-177
Some exact equiconsistency results in set theory.
Leo Harrington and Saharon Shelah; 178-188