Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 28 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 28 · NO. 2 | April 1987
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 28, issue 2 (1987)
Notre Dame J. Formal Logic 28 (2), (April 1987) Open Access
No abstract available
DOWNLOAD PAPER
Articles
The modal logic of `all and only'.
I. L. Humberstone
Notre Dame J. Formal Logic 28 (2), 177-188, (April 1987) DOI: 10.1305/ndjfl/1093636937 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
On defining sentential connectives.
Joseph Jurcic
Notre Dame J. Formal Logic 28 (2), 189-199, (April 1987) DOI: 10.1305/ndjfl/1093636938 Open Access
KEYWORDS: 03B99, 03B10, 03B15
No abstract available
DOWNLOAD PAPER
Rudiments of a theory of reference.
Christopher S. Hill
Notre Dame J. Formal Logic 28 (2), 200-219, (April 1987) DOI: 10.1305/ndjfl/1093636939 Open Access
KEYWORDS: 03B65, 03A05
No abstract available
DOWNLOAD PAPER
Survey of generalizations of Urquhart semantics.
R. A. Bull
Notre Dame J. Formal Logic 28 (2), 220-237, (April 1987) DOI: 10.1305/ndjfl/1093636940 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
On $n$-equivalence of binary trees.
Kees Doets
Notre Dame J. Formal Logic 28 (2), 238-243, (April 1987) DOI: 10.1305/ndjfl/1093636941 Open Access
KEYWORDS: 03C65
No abstract available
DOWNLOAD PAPER
Invertible definitions.
Timothy Williamson
Notre Dame J. Formal Logic 28 (2), 244-258, (April 1987) DOI: 10.1305/ndjfl/1093636942 Open Access
KEYWORDS: 03B10, 03A05, 03B20
No abstract available
DOWNLOAD PAPER
Cantor-Bendixson spectra of $\omega$-stable theories.
Carlo Toffalori
Notre Dame J. Formal Logic 28 (2), 259-275, (April 1987) DOI: 10.1305/ndjfl/1093636943 Open Access
KEYWORDS: 03C45
No abstract available
DOWNLOAD PAPER
Maximal $p$-subgroups and the axiom of choice.
Paul E. Howard, Mary Yorke
Notre Dame J. Formal Logic 28 (2), 276-283, (April 1987) DOI: 10.1305/ndjfl/1093636944 Open Access
KEYWORDS: 04A25, 03E25, 20A10
No abstract available
DOWNLOAD PAPER
Decision procedure for a class of $(L_{\omega_1\omega})_t$-types of $T_3$ spaces.
Juan Carlos Martínez
Notre Dame J. Formal Logic 28 (2), 284-290, (April 1987) DOI: 10.1305/ndjfl/1093636945 Open Access
KEYWORDS: 03B25, 03C75, 03C80
No abstract available
DOWNLOAD PAPER
Relatively Diophantine correct models of arithmetic.
Bonnie Gold
Notre Dame J. Formal Logic 28 (2), 291-296, (April 1987) DOI: 10.1305/ndjfl/1093636946 Open Access
KEYWORDS: 03C62, 03H15
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 28, issue 2 (1987)
Notre Dame J. Formal Logic 28 (2), (April 1987) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top