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

Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 26, issue 2 (1985)