Mathematico-philosophical remarks on new theorems analogous to the fundamental theorem of arithmetic
Notre Dame Journal of Formal Logic 6 (3):218-222 (1965)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
|
| Through your library | Configure |
John W. Dawson Jr (2006). Why Do Mathematicians Re-Prove Theorems? Philosophia Mathematica 14 (3).
J. Michael Dunn (1980). Quantum Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Robert K. Meyer (1998). ÂE is Admissible in ÂTrueâ Relevant Arithmetic. Journal of Philosophical Logic 27 (4):327-351.
Robert K. Meyer (1998). ⊃E is Admissible in “True” Relevant Arithmetic. Journal of Philosophical Logic 27 (4):327 - 351.
Harvey Friedman & Robert K. Meyer (1992). Whither Relevant Arithmetic? Journal of Symbolic Logic 57 (3):824-831.
Georg Moser & Richard Zach (2006). The Epsilon Calculus and Herbrand Complexity. Studia Logica 82 (1):133 - 155.
Panu Raatikainen (2005). On the Philosophical Relevance of Gödel's Incompleteness Theorems. Revue Internationale de Philosophie 59 (4):513-534.
Peter Smith (2007). An Introduction to Gödel's Theorems. Cambridge University Press.
Jonathan Fleischmann (2010). Syntactic Preservation Theorems for Intuitionistic Predicate Logic. Notre Dame Journal of Formal Logic 51 (2):225-245.
Juliette Kennedy & Roman Kossak (eds.) (2012). Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies. Cambridge University Press.
A. W. Moore (1998). More on 'The Philosophical Significance of Gödel's Theorem'. Grazer Philosophische Studien 55:103-126.
Monthly downloads |
Added to index2010-08-24Total downloads2 ( #232,265 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |

