Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 32 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 32 · NO. 2 | Spring 1991
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 32, issue 2 (1991)
Notre Dame J. Formal Logic 32 (2), (Spring 1991) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Preservation by homomorphisms and infinitary languages.
Tapani Hyttinen
Notre Dame J. Formal Logic 32 (2), 167-172, (Spring 1991) DOI: 10.1305/ndjfl/1093635742 Open Access
KEYWORDS: 03C40, 03C75
No abstract available
DOWNLOAD PAPER
On type definable subgroups of a stable group.
L. Newelski
Notre Dame J. Formal Logic 32 (2), 173-187, (Spring 1991) DOI: 10.1305/ndjfl/1093635743 Open Access
KEYWORDS: 03C45, 03C60, 20A15
No abstract available
DOWNLOAD PAPER
Finite axiomatizability and theories with trivial algebraic closure.
Dugald Macpherson
Notre Dame J. Formal Logic 32 (2), 188-192, (Spring 1991) DOI: 10.1305/ndjfl/1093635744 Open Access
KEYWORDS: 03C45
No abstract available
DOWNLOAD PAPER
Intensional paradoxes.
Graham Priest
Notre Dame J. Formal Logic 32 (2), 193-211, (Spring 1991) DOI: 10.1305/ndjfl/1093635745 Open Access
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
Henkin's completeness proof: forty years later.
Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver
Notre Dame J. Formal Logic 32 (2), 212-232, (Spring 1991) DOI: 10.1305/ndjfl/1093635746 Open Access
KEYWORDS: 03B10, 03C07
No abstract available
DOWNLOAD PAPER
Bounds in weak truth-table reducibility.
Karol Habart
Notre Dame J. Formal Logic 32 (2), 233-241, (Spring 1991) DOI: 10.1305/ndjfl/1093635747 Open Access
KEYWORDS: 03D30, 03D20
No abstract available
DOWNLOAD PAPER
Connection structures.
Loredana Biacino, Giangiacomo Gerla
Notre Dame J. Formal Logic 32 (2), 242-247, (Spring 1991) DOI: 10.1305/ndjfl/1093635748 Open Access
KEYWORDS: 03G10, 03B60, 03G05
No abstract available
DOWNLOAD PAPER
Why is conjunctive simplification invalid?
Bruce E. R. Thompson
Notre Dame J. Formal Logic 32 (2), 248-254, (Spring 1991) DOI: 10.1305/ndjfl/1093635749 Open Access
KEYWORDS: 03B60
No abstract available
DOWNLOAD PAPER
Almost hugeness and a related notion.
Julius Barbanel
Notre Dame J. Formal Logic 32 (2), 255-265, (Spring 1991) DOI: 10.1305/ndjfl/1093635750 Open Access
KEYWORDS: 03E55, 03E10, 04A10
No abstract available
DOWNLOAD PAPER
Embedding Brouwer algebras in the Medvedev lattice.
Andrea Sorbi
Notre Dame J. Formal Logic 32 (2), 266-275, (Spring 1991) DOI: 10.1305/ndjfl/1093635751 Open Access
KEYWORDS: 03G10, 06D20
No abstract available
DOWNLOAD PAPER
Buridan's divided modal syllogistic.
Anthony Willing
Notre Dame J. Formal Logic 32 (2), 276-289, (Spring 1991) DOI: 10.1305/ndjfl/1093635752 Open Access
KEYWORDS: 03B45, 01A35, 03-03, 03B65
No abstract available
DOWNLOAD PAPER
The cardinality of powersets in finite models of the powerset axiom.
Alexander Abian, Wael A. Amin
Notre Dame J. Formal Logic 32 (2), 290-293, (Spring 1991) DOI: 10.1305/ndjfl/1093635753 Open Access
KEYWORDS: 03C62, 03E30
No abstract available
DOWNLOAD PAPER
Intermediate quantifiers versus percentages.
Robert D. Carnes, Philip L. Peterson
Notre Dame J. Formal Logic 32 (2), 294-306, (Spring 1991) DOI: 10.1305/ndjfl/1093635754 Open Access
KEYWORDS: 03B48, 03B10, 03B65
No abstract available
DOWNLOAD PAPER
Theory revision and probability.
Karl Schlechta
Notre Dame J. Formal Logic 32 (2), 307-319, (Spring 1991) DOI: 10.1305/ndjfl/1093635755 Open Access
KEYWORDS: 03B30
No abstract available
DOWNLOAD PAPER
Reviews
Book review: A. S. Troelstra and D. van Dalen. Constructivism in mathematics, vols. 1 and 2.
Michael J. Beeson
Notre Dame J. Formal Logic 32 (2), 320-322, (Spring 1991) DOI: 10.1305/ndjfl/1093635756 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 32, issue 2 (1991)
Notre Dame J. Formal Logic 32 (2), (Spring 1991) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top