VOL. 47 · NO. 3 | 2006
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 47 (3), (2006)
No abstract available
Articles
Albert Visser
Notre Dame J. Formal Logic 47 (3), 299-309, (2006) DOI: 10.1305/ndjfl/1163775437
KEYWORDS: propositional logic, constructive arithmetical theories, realizability, 03F50, 03F30, 03B20
Jaap van Oosten
Notre Dame J. Formal Logic 47 (3), 311-318, (2006) DOI: 10.1305/ndjfl/1163775438
KEYWORDS: partial combinatory algebras, realizability, relative recursion, 03B40, 68N18
Alexei Kolesnikov, G. V. N. G. Krishnamurthi
Notre Dame J. Formal Logic 47 (3), 319-329, (2006) DOI: 10.1305/ndjfl/1163775439
KEYWORDS: homogeneous models, Morley rank, 03C45, 03C52, 03C05
Nicolas Guzy, Cédric Rivière
Notre Dame J. Formal Logic 47 (3), 331-341, (2006) DOI: 10.1305/ndjfl/1163775440
KEYWORDS: model companion, Topological fields, geometric axiomatization, 03C10, 03C68
Alexander Berenstein, Ziv Shami
Notre Dame J. Formal Logic 47 (3), 343-351, (2006) DOI: 10.1305/ndjfl/1163775441
KEYWORDS: cardinality quantifiers, superstable theories, 03C45, 03C50
Jennifer Brown
Notre Dame J. Formal Logic 47 (3), 353-359, (2006) DOI: 10.1305/ndjfl/1163775442
KEYWORDS: cellularity, pseudo-tree, pseudo-tree algebra, 06E05, 06E99
George Barmpalias, Andrew E. M. Lewis
Notre Dame J. Formal Logic 47 (3), 361-370, (2006) DOI: 10.1305/ndjfl/1163775443
KEYWORDS: hypersimple, weak truth table degrees, Density, 03F60, 03D30
Janusz Ciuciura
Notre Dame J. Formal Logic 47 (3), 371-384, (2006) DOI: 10.1305/ndjfl/1163775444
KEYWORDS: discursive (discussive) logic, D2, paraconsistent logic, 03B53
Gert-Jan C. Lokhorst
Notre Dame J. Formal Logic 47 (3), 385-395, (2006) DOI: 10.1305/ndjfl/1163775445
KEYWORDS: Anderson, deontic logic, relevance logic, propositional quantification, Mally, 03B47, 03B45
Uwe Lück
Notre Dame J. Formal Logic 47 (3), 397-434, (2006) DOI: 10.1305/ndjfl/1163775446
KEYWORDS: time, Russell, instants from events, continuum, interval orders, axiom of choice, 06A99, 01A60, 03C52, 03E17, 03E25, 06A05
Reviews
Alan Baker
Notre Dame J. Formal Logic 47 (3), 435-442, (2006) DOI: 10.1305/ndjfl/1163775447
KEYWORDS: constructibility, structuralism, fictionalism, indispensability arguments, 00A30, 03A05
No abstract available
Back Matter
Notre Dame J. Formal Logic 47 (3), (2006)
No abstract available
Back to Top