Fragments of HA based on Sigma_1 induction
Archive for Mathematical Logic 37:37-49 (1997)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesLev D. Beklemishev (2003). On the Induction Schema for Decidable Predicates. Journal of Symbolic Logic 68 (1):17-34.
Wolfgang Burr (2000). Fragments of Heyting Arithmetic. Journal of Symbolic Logic 65 (3):1223-1240.
Alberto Marcone & Christian Rosendal (2004). The Complexity of Continuous Embeddability Between Dendrites. Journal of Symbolic Logic 69 (3):663-673.
Kai F. Wehmeier (2004). Russell's Paradox in Consistent Fragments of Frege's Grundgesetze der Arithmetik. In Godehard Link (ed.), One Hundred Years of Russell’s Paradox. de Gruyter.
Gerard R. Renardel De Lavalette (1989). Interpolation in Fragments of Intuitionistic Propositional Logic. Journal of Symbolic Logic 54 (4):1419 - 1430.
F. John Clendinnen (1966). Induction and Objectivity. Philosophy of Science 33 (3):215-229.
Klaus Aehlig (2005). Induction and Inductive Definitions in Fragments of Second Order Arithmetic. Journal of Symbolic Logic 70 (4):1087 - 1107.
Frank Wolter (2000). First Order Common Knowledge Logics. Studia Logica 65 (2):249-271.
Fernando Ferreira (1999). A Note on Finiteness in the Predicative Foundations of Arithmetic. Journal of Philosophical Logic 28 (2):165-174.
Peter Gärdenfors (1990). Induction, Conceptual Spaces and AI. Philosophy of Science 57 (1):78-95.
Gerhard Schurz (2008). The Meta-Inductivist's Winning Strategy in the Prediction Game: A New Approach to Hume's Problem. Philosophy of Science 75 (3):278-305.
Scott Campbell & James Franklin (2004). Randomness and the Justification of Induction. Synthese 138 (1):79 - 99.
Roman Kontchakov, Carsten Lutz, Frank Wolter & Michael Zakharyaschev (2004). Temporalising Tableaux. Studia Logica 76 (1):91 - 134.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-08-02Total downloads2 ( #232,316 of 549,014 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
