Graduate studies at Western
Mathematical Logic Quarterly 48 (1):3-14 (2002)
|Abstract||This article has no associated abstract. (fix it)|
|Keywords||Peano arithmetic functionals epsi on substitution combinatorial independence|
No categories specified
(categorize this paper)
|Through your library||Configure|
Similar books and articles
Leszek Aleksander Kołodziejczyk (2006). On the Herbrand Notion of Consistency for Finitely Axiomatizable Fragments of Bounded Arithmetic Theories. Journal of Symbolic Logic 71 (2):624 - 638.
Dan E. Willard (2006). On the Available Partial Respects in Which an Axiomatization for Real Valued Arithmetic Can Recognize its Consistency. Journal of Symbolic Logic 71 (4):1189-1199.
P. Garavaso (2013). Hilary Putnam's Consistency Objection Against Wittgenstein's Conventionalism in Mathematics. Philosophia Mathematica 21 (3):279-296.
Arnold Beckmann (2002). Proving Consistency of Equational Theories in Bounded Arithmetic. Journal of Symbolic Logic 67 (1):279-296.
Franz Huber (2007). The Consistency Argument for Ranking Functions. Studia Logica 86 (2):299-329.
Jessica M. Wilson (2000). Could Experience Disconfirm the Propositions of Arithmetic? Canadian Journal of Philosophy 30 (1):55-84.
Sorry, there are not enough data points to plot this chart.
Added to index2010-09-14
Total downloads1 ( #292,723 of 739,396 )
Recent downloads (6 months)0
How can I increase my downloads?