VOL. 42 · NO. 3 | 2001
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 42 (3), (2001)
No abstract available
Articles
John T. Baldwin, Saharon Shelah
Notre Dame J. Formal Logic 42 (3), 129-142, (2001) DOI: 10.1305/ndjfl/1063372196
KEYWORDS: stability, expansion by automorphism, 03C45
Takeshi Yamazaki
Notre Dame J. Formal Logic 42 (3), 143-148, (2001) DOI: 10.1305/ndjfl/1063372197
KEYWORDS: reverse mathematics, second-order arithmetic, completeness theorems, Intuitionistic logic, 03B30, 03F35
Mark F. Sharlow
Notre Dame J. Formal Logic 42 (3), 149-170, (2001) DOI: 10.1305/ndjfl/1063372198
KEYWORDS: iterative conception of set, non-wellfounded sets, NF, 00A30, 03E70
Katalin Bimbó, J. Michael Dunn
Notre Dame J. Formal Logic 42 (3), 171-192, (2001) DOI: 10.1305/ndjfl/1063372199
KEYWORDS: substructural logics, Lambek calculi, relevance logic, lattice representation, Kripke semantics, 03B47
Back to Top