Volume 26 Issue 2 | Notre Dame Journal of Formal Logic

VOL. 26 · NO. 2 | April 1985

< Previous Issue | Next Issue >

VIEW ALL ABSTRACTS +

Front Matter

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

Notre Dame J. Formal Logic 26 (2), (April 1985) Open Access

No abstract available

Articles

Recursively saturated models generated by indiscernibles.

James H. Schmerl

Notre Dame J. Formal Logic 26 (2), 99-105, (April 1985) DOI: 10.1305/ndjfl/1093870818 Open Access

KEYWORDS: 03C57

No abstract available

From preference to utility: a problem of descriptive set theory.

John P. Burgess

Notre Dame J. Formal Logic 26 (2), 106-114, (April 1985) DOI: 10.1305/ndjfl/1093870819 Open Access

KEYWORDS: 03E15, 04A15, 90A10

No abstract available

The decision problem for linear temporal logic.

John P. Burgess, Yuri Gurevich

Notre Dame J. Formal Logic 26 (2), 115-128, (April 1985) DOI: 10.1305/ndjfl/1093870820 Open Access

KEYWORDS: 03B45, 03B25

No abstract available

Stationary logic and its friends. I.

Alan H. Mekler, Saharon Shelah

Notre Dame J. Formal Logic 26 (2), 129-138, (April 1985) DOI: 10.1305/ndjfl/1093870821 Open Access

KEYWORDS: 03C80, 03C55, 03C95

No abstract available

L. Harrington, M. Makkai

Notre Dame J. Formal Logic 26 (2), 139-177, (April 1985) DOI: 10.1305/ndjfl/1093870822 Open Access

KEYWORDS: 03C45

No abstract available

Some exact equiconsistency results in set theory.

Leo Harrington, Saharon Shelah

Notre Dame J. Formal Logic 26 (2), 178-188, (April 1985) DOI: 10.1305/ndjfl/1093870823 Open Access

KEYWORDS: 03E35, 03E15, 03E50, 03E55

No abstract available

Back Matter

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

Notre Dame J. Formal Logic 26 (2), (April 1985) Open Access

No abstract available

KEYWORDS/PHRASES