Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 22 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 22 · NO. 4 | October 1981
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 22, issue 4 (1981)
Notre Dame J. Formal Logic 22 (4), (October 1981)
No abstract available
DOWNLOAD PAPER
Articles
Tonk.
Steven Wagner
Notre Dame J. Formal Logic 22 (4), 289-300, (October 1981) DOI: 10.1305/ndjfl/1093883510
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
On uncountable Boolean algebras with no uncountable pairwise comparable or incomparable sets of elements.
Saharon Shelah
Notre Dame J. Formal Logic 22 (4), 301-308, (October 1981) DOI: 10.1305/ndjfl/1093883511
KEYWORDS: 03E50, 06E05
No abstract available
DOWNLOAD PAPER
Some remarks on (weakly) weak modal logics.
R. E. Jennings, P. K. Schotch
Notre Dame J. Formal Logic 22 (4), 309-314, (October 1981) DOI: 10.1305/ndjfl/1093883512
KEYWORDS: 03B45, 03A05
No abstract available
DOWNLOAD PAPER
Algebraic studies of first-order enlargements.
Jürgen Schmidt
Notre Dame J. Formal Logic 22 (4), 315-343, (October 1981) DOI: 10.1305/ndjfl/1093883513
KEYWORDS: 03H20, 03C30, 06B05
No abstract available
DOWNLOAD PAPER
A property which guarantees termination in weak combinatory logic and subtree replacement systems.
Alberto Pettorossi
Notre Dame J. Formal Logic 22 (4), 344-356, (October 1981) DOI: 10.1305/ndjfl/1093883514
KEYWORDS: 03B40, 68C01
No abstract available
DOWNLOAD PAPER
Fifty years of self-reference in arithmetic.
C. Smoryński
Notre Dame J. Formal Logic 22 (4), 357-374, (October 1981) DOI: 10.1305/ndjfl/1093883515
KEYWORDS: 03F40, 00A25, 01A60, 03-03, 03D35
No abstract available
DOWNLOAD PAPER
The $n$-adic first-order undefinability of the Geach formula.
R. E. Jennings, D. K. Johnston, P. K. Schotch
Notre Dame J. Formal Logic 22 (4), 375-378, (October 1981) DOI: 10.1305/ndjfl/1093883516
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 22, issue 4 (1981)
Notre Dame J. Formal Logic 22 (4), (October 1981)
No abstract available
DOWNLOAD PAPER
Back to Top