Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 24 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 24 · NO. 4 | October 1983
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 24, issue 4 (1983)
Notre Dame J. Formal Logic 24 (4), (October 1983) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Submodels and definable points in models of Peano arithmetic.
Žarko Mijajlović
Notre Dame J. Formal Logic 24 (4), 417-425, (October 1983) DOI: 10.1305/ndjfl/1093870445 Open Access
KEYWORDS: 03H15, 03C62
No abstract available
DOWNLOAD PAPER
Halldén-completeness by gluing of Kripke frames.
I. L. Humberstone, J. F. A. K. van Benthem
Notre Dame J. Formal Logic 24 (4), 426-430, (October 1983) DOI: 10.1305/ndjfl/1093870446 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
The simple consistency of a set theory based on the logic ${\rm CSQ}$.
Ross T. Brady
Notre Dame J. Formal Logic 24 (4), 431-449, (October 1983) DOI: 10.1305/ndjfl/1093870447 Open Access
KEYWORDS: 03E70, 03B50
No abstract available
DOWNLOAD PAPER
A note on ${\rm R}_{\rightarrow}$ matrices.
Robert K. Meyer
Notre Dame J. Formal Logic 24 (4), 450-472, (October 1983) DOI: 10.1305/ndjfl/1093870448 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Burgess on relevance: a fallacy indeed.
Stephen Read
Notre Dame J. Formal Logic 24 (4), 473-481, (October 1983) DOI: 10.1305/ndjfl/1093870449 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Manifolds allowing RET arithmetic.
Leon Harkleroad
Notre Dame J. Formal Logic 24 (4), 482-484, (October 1983) DOI: 10.1305/ndjfl/1093870450 Open Access
KEYWORDS: 03D50
No abstract available
DOWNLOAD PAPER
Separating minimal, intuitionist, and classical logic.
David Meredith
Notre Dame J. Formal Logic 24 (4), 485-490, (October 1983) DOI: 10.1305/ndjfl/1093870451 Open Access
KEYWORDS: 03B20
No abstract available
DOWNLOAD PAPER
The nature of reflexive paradoxes. I.
Leonard Goddard, Mark Johnston
Notre Dame J. Formal Logic 24 (4), 491-508, (October 1983) DOI: 10.1305/ndjfl/1093870452 Open Access
KEYWORDS: 03A05, 03B10, 03B30
No abstract available
DOWNLOAD PAPER
The fundamental ${\rm S}$-theorem---a corollary.
Robert Dwyer, Errol P. Martin, Robert K. Meyer
Notre Dame J. Formal Logic 24 (4), 509-516, (October 1983) DOI: 10.1305/ndjfl/1093870453 Open Access
KEYWORDS: 03B45, 03B25
No abstract available
DOWNLOAD PAPER
On the Freyd cover of a topos.
Ieke Moerdijk
Notre Dame J. Formal Logic 24 (4), 517-526, (October 1983) DOI: 10.1305/ndjfl/1093870454 Open Access
KEYWORDS: 03G30, 03F35, 03F55
No abstract available
DOWNLOAD PAPER
$\aleph_0$-categoricity over a predicate.
Anand Pillay
Notre Dame J. Formal Logic 24 (4), 527-536, (October 1983) DOI: 10.1305/ndjfl/1093870455 Open Access
KEYWORDS: 03C15, 03C35
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 24, issue 4 (1983)
Notre Dame J. Formal Logic 24 (4), (October 1983) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top