Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 22 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 22 · NO. 1 | January 1981
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 22, issue 1 (1981)
Notre Dame J. Formal Logic 22 (1), (January 1981) Open Access
No abstract available
DOWNLOAD PAPER
Articles
On the number of nonisomorphic models of cardinality $\lambda \ L_{\infty \lambda }$-equivalent to a fixed model.
Saharon Shelah
Notre Dame J. Formal Logic 22 (1), 5-10, (January 1981) DOI: 10.1305/ndjfl/1093883334 Open Access
KEYWORDS: 03C75, 03C35, 03C55
No abstract available
DOWNLOAD PAPER
Probabilistic, truth-value, and standard semantics and the primacy of predicate logic.
John A. Paulos
Notre Dame J. Formal Logic 22 (1), 11-16, (January 1981) DOI: 10.1305/ndjfl/1093883335 Open Access
KEYWORDS: 03B48, 03B10, 60A99
No abstract available
DOWNLOAD PAPER
The completeness of intuitionistic propositional calculus for its intended interpretation.
John P. Burgess
Notre Dame J. Formal Logic 22 (1), 17-28, (January 1981) DOI: 10.1305/ndjfl/1093883336 Open Access
KEYWORDS: 03B20, 03F55
No abstract available
DOWNLOAD PAPER
On Fleissner's diamond.
Saharon Shelah
Notre Dame J. Formal Logic 22 (1), 29-35, (January 1981) DOI: 10.1305/ndjfl/1093883337 Open Access
KEYWORDS: 03E05, 03E35
No abstract available
DOWNLOAD PAPER
General models of set theory.
Thomas P. Wilson
Notre Dame J. Formal Logic 22 (1), 36-44, (January 1981) DOI: 10.1305/ndjfl/1093883338 Open Access
KEYWORDS: 03E30, 03C62
No abstract available
DOWNLOAD PAPER
Consequences, consistency, and independence in Boolean algebras.
Frank Markham Brown, Sergiu Rudeanu
Notre Dame J. Formal Logic 22 (1), 45-62, (January 1981) DOI: 10.1305/ndjfl/1093883339 Open Access
KEYWORDS: 03G05, 06E05
No abstract available
DOWNLOAD PAPER
A highly efficient ``transfinite recursive definitions'' axiom for set theory.
Robert S. Wolf
Notre Dame J. Formal Logic 22 (1), 63-75, (January 1981) DOI: 10.1305/ndjfl/1093883340 Open Access
KEYWORDS: 03E30, 04A99
No abstract available
DOWNLOAD PAPER
Quick completeness proofs for some logics of conditionals.
John P. Burgess
Notre Dame J. Formal Logic 22 (1), 76-84, (January 1981) DOI: 10.1305/ndjfl/1093883341 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
On extensions of $L_{\omega \omega }(Q_1)$.
Xavier Caicedo
Notre Dame J. Formal Logic 22 (1), 85-93, (January 1981) DOI: 10.1305/ndjfl/1093883342 Open Access
KEYWORDS: 03C80, 03C40
No abstract available
DOWNLOAD PAPER
Back Matter
Errata for volume 20.
Notre Dame J. Formal Logic 22 (1), 94, (January 1981) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 22, issue 1 (1981)
Notre Dame J. Formal Logic 22 (1), (January 1981) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top