VOL. 46 · NO. 1 | 2005
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 46 (1), (2005)
No abstract available
Articles
Aldo Antonelli, Robert May
Notre Dame J. Formal Logic 46 (1), 1-17, (2005) DOI: 10.1305/ndjfl/1107220671
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
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
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
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
KEYWORDS: finitism, Hilbert's program, conservativeness, 03F30
Stephen Pollard
Notre Dame J. Formal Logic 46 (1), 93-105, (2005) DOI: 10.1305/ndjfl/1107220676
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
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)
No abstract available
Notre Dame J. Formal Logic 46 (1), (2005)
No abstract available
Back to Top