VOL. 46 · NO. 1 | 2005
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 46 (1), (2005) Open Access
No abstract available
Articles
Aldo Antonelli, Robert May
Notre Dame J. Formal Logic 46 (1), 1-17, (2005) DOI: 10.1305/ndjfl/1107220671 Open Access
KEYWORDS: Frege, arithmetic, logicism, neologicism, Hume's Principle, 03A05, 00A30, 03B15, 03B30, 03F35
José Iovino
Notre Dame J. Formal Logic 46 (1), 19-50, (2005) DOI: 10.1305/ndjfl/1107220672 Open Access
KEYWORDS: Banach space, definable type, classical sequence space, 03C, 46B
Verónica Becher, Santiago Figueira, André Nies, Silvana Picchi
Notre Dame J. Formal Logic 46 (1), 51-64, (2005) DOI: 10.1305/ndjfl/1107220673 Open Access
KEYWORDS: program size complexity, Kolmogorov complexity, infinite computations, 68Q30, 68Q05
Rosalie Iemhoff
Notre Dame J. Formal Logic 46 (1), 65-81, (2005) DOI: 10.1305/ndjfl/1107220674 Open Access
KEYWORDS: intermediate logics, Intuitionistic logic, admissible rules, projective formulas, 03B55, 03B35
Fernando Ferreira
Notre Dame J. Formal Logic 46 (1), 83-91, (2005) DOI: 10.1305/ndjfl/1107220675 Open Access
KEYWORDS: finitism, Hilbert's program, conservativeness, 03F30
Stephen Pollard
Notre Dame J. Formal Logic 46 (1), 93-105, (2005) DOI: 10.1305/ndjfl/1107220676 Open Access
KEYWORDS: expressive logics, many-valued logics, closure spaces, 03B50, 03B22
Reviews
O. Bradley Bassler
Notre Dame J. Formal Logic 46 (1), 107-125, (2005) DOI: 10.1305/ndjfl/1107220677 Open Access
KEYWORDS: philosophy of mathematics, foundations of mathematics, Set theory, 03A05, 03E99, 00A30
No abstract available
Back Matter
Notre Dame J. Formal Logic 46 (1), (2005) Open Access
No abstract available
Notre Dame J. Formal Logic 46 (1), (2005) Open Access
No abstract available
Back to Top