Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 32 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 32 · NO. 3 | Summer 1991
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 32, issue 3 (1991)
Notre Dame J. Formal Logic 32 (3), (Summer 1991) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Incompleteness in intuitionistic metamathematics.
David Charles McCarty
Notre Dame J. Formal Logic 32 (3), 323-358, (Summer 1991) DOI: 10.1305/ndjfl/1093635833 Open Access
KEYWORDS: 03F55
No abstract available
DOWNLOAD PAPER
A topos-theoretic approach to reference and modality.
Gonzalo E. Reyes
Notre Dame J. Formal Logic 32 (3), 359-391, (Summer 1991) DOI: 10.1305/ndjfl/1093635834 Open Access
KEYWORDS: 03B65, 03B45, 03G30
No abstract available
DOWNLOAD PAPER
Minimal satisfaction classes with an application to rigid models of Peano arithmetic.
Roman Kossak, James H. Schmerl
Notre Dame J. Formal Logic 32 (3), 392-398, (Summer 1991) DOI: 10.1305/ndjfl/1093635835 Open Access
KEYWORDS: 03C62
No abstract available
DOWNLOAD PAPER
On cofinal extensions of models of fragments of arithmetic.
Richard Kaye
Notre Dame J. Formal Logic 32 (3), 399-408, (Summer 1991) DOI: 10.1305/ndjfl/1093635836 Open Access
KEYWORDS: 03C62
No abstract available
DOWNLOAD PAPER
A logic for natural language.
William C. Purdy
Notre Dame J. Formal Logic 32 (3), 409-425, (Summer 1991) DOI: 10.1305/ndjfl/1093635837 Open Access
KEYWORDS: 03B10, 03B65
No abstract available
DOWNLOAD PAPER
End extensions of normal models of open induction.
David Marker
Notre Dame J. Formal Logic 32 (3), 426-431, (Summer 1991) DOI: 10.1305/ndjfl/1093635838 Open Access
KEYWORDS: 03C62, 03H15, 06F25
No abstract available
DOWNLOAD PAPER
Type-free property theory, exemplification and Russell's paradox.
Francesco Orilia
Notre Dame J. Formal Logic 32 (3), 432-447, (Summer 1991) DOI: 10.1305/ndjfl/1093635839 Open Access
KEYWORDS: 03A05, 03B65
No abstract available
DOWNLOAD PAPER
Some independence results related to the Kurepa tree.
Renling Jin
Notre Dame J. Formal Logic 32 (3), 448-457, (Summer 1991) DOI: 10.1305/ndjfl/1093635840 Open Access
KEYWORDS: 03E05, 03E35
No abstract available
DOWNLOAD PAPER
A simple axiomatizable theory of truth.
Jody Azzouni
Notre Dame J. Formal Logic 32 (3), 458-493, (Summer 1991) DOI: 10.1305/ndjfl/1093635841 Open Access
KEYWORDS: 03A05, 03B30
No abstract available
DOWNLOAD PAPER
Reviews
Book review: David Lewis. Parts of classes.
Peter Forrest
Notre Dame J. Formal Logic 32 (3), 494-497, (Summer 1991) DOI: 10.1305/ndjfl/1093635842 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 32, issue 3 (1991)
Notre Dame J. Formal Logic 32 (3), (Summer 1991) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top