Graduate studies at Western
Journal of Symbolic Logic 70 (4):1087 - 1107 (2005)
|Abstract||A fragment with the same provably recursive functions as n iterated inductive definitions is obtained by restricting second order arithmetic in the following way. The underlying language allows only up to n + 1 nested second order quantifications and those are in such a way, that no second order variable occurs free in the scope of another second order quantifier. The amount of induction on arithmetical formulae only affects the arithmetical consequences of these theories, whereas adding induction for arbitrary formulae increases the strength by one inductive definition|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Wolfgang Burr (2000). Fragments of Heyting Arithmetic. Journal of Symbolic Logic 65 (3):1223-1240.
Peter Lipton (2000). Tracking Track Records, I. Aristotelian Society Supplementary Volume 74 (1):179–205.
Peter Lipton (2000). Tracking Track Records, I. Aristotelian Society Supplementary Volume 74 (1):179-205.
John D. Norton (2003). A Material Theory of Induction. Philosophy of Science 70 (4):647-670.
Gerhard Jäger (2001). First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo. Journal of Symbolic Logic 66 (3):1073-1089.
Stephen G. Simpson (1994). On the Strength of König's Duality Theorem for Countable Bipartite Graphs. Journal of Symbolic Logic 59 (1):113-123.
John D. Norton (2010). There Are No Universal Rules for Induction. Philosophy of Science 77 (5):765-777.
H. Jerome Keisler (2006). Nonstandard Arithmetic and Reverse Mathematics. Bulletin of Symbolic Logic 12 (1):100-125.
Michael Mytilinaios (1989). Finite Injury and ∑1-Induction. Journal of Symbolic Logic 54 (1):38 - 49.
J. Michael Dunn (1980). Quantum Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Jeremy Avigad & Henry Towsner (2009). Functional Interpretation and Inductive Definitions. Journal of Symbolic Logic 74 (4):1100 - 1120.
Michael Rathjen (1991). The Role of Parameters in Bar Rule and Bar Induction. Journal of Symbolic Logic 56 (2):715-730.
Agustín Rayo (2002). Frege's Unofficial Arithmetic. Journal of Symbolic Logic 67 (4):1623-1638.
Added to index2010-08-24
Total downloads2 ( #247,687 of 751,029 )
Recent downloads (6 months)1 ( #62,995 of 751,029 )
How can I increase my downloads?