VOL. 47 · NO. 2 | 2006
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 47 (2), (2006)
No abstract available
Articles
Ian Pratt-Hartmann, Allan Third
Notre Dame J. Formal Logic 47 (2), 151-177, (2006) DOI: 10.1305/ndjfl/1153858644
KEYWORDS: natural language, logic, Complexity, theorem-proving, 03B65
Evan Goris
Notre Dame J. Formal Logic 47 (2), 179-195, (2006) DOI: 10.1305/ndjfl/1153858645
KEYWORDS: provability logic, interpretability logic, interpolation, 03B45, 03F30
George Barmpalias, Andrew E. M. Lewis
Notre Dame J. Formal Logic 47 (2), 197-209, (2006) DOI: 10.1305/ndjfl/1153858646
KEYWORDS: sw reducibility, c.e. reals, randomness, 03D80, 03D15
Peter Roeper
Notre Dame J. Formal Logic 47 (2), 211-232, (2006) DOI: 10.1305/ndjfl/1153858647
KEYWORDS: linear continuum, topology of the straight line, region-based topology, Infinite divisibility, nonatomic domains of quantification, 26A03
Katherine Thompson
Notre Dame J. Formal Logic 47 (2), 233-248, (2006) DOI: 10.1305/ndjfl/1153858648
KEYWORDS: universal model, posets, oriented graphs, orders, 03E05, 06A06
Hajime Ishihara
Notre Dame J. Formal Logic 47 (2), 249-252, (2006) DOI: 10.1305/ndjfl/1153858649
KEYWORDS: weak Koenig's lemma, Brouwer's fan theorem, Constructive mathematics, 03F65, 03B30
Josef Berger, Peter Schuster
Notre Dame J. Formal Logic 47 (2), 253-262, (2006) DOI: 10.1305/ndjfl/1153858650
KEYWORDS: compact metric spaces, continuous functions, Uniform convergence, reverse mathematics, Constructive mathematics, 03F60, 26E40, 54E45
Paulo Oliva
Notre Dame J. Formal Logic 47 (2), 263-290, (2006) DOI: 10.1305/ndjfl/1153858651
KEYWORDS: functional interpretations, dialectica interpretation, modified realizability, monotone functional interpretations, majorizability, proof mining, 03F07, 03F10
John Baldwin, David Kueker, Monica VanDieren
Notre Dame J. Formal Logic 47 (2), 291-298, (2006) DOI: 10.1305/ndjfl/1153858652
KEYWORDS: stability theory, tameness, abstract elementary class, 03C45, 03C52, 03C75, 03C05, 03C55, 03C95
Back Matter
Notre Dame J. Formal Logic 47 (2), (2006)
No abstract available
Back to Top