Graduate studies at Western
Journal of Symbolic Logic 54 (1):38 - 49 (1989)
|Abstract||Working in the language of first-order arithmetic we consider models of the base theory P - . Suppose M is a model of P - and let M satisfy induction for σ 1 -formulas. First it is shown that the Friedberg-Muchnik finite injury argument can be performed inside M, and then, using a blocking method for the requirements, we prove that the Sacks splitting construction can be done in M. So, the "amount" of induction needed to perform the known finite injury priority arguments is Σ 1 -induction|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
D. C. Stove (1986). The Rationality of Induction. Oxford University Press.
Michael Rathjen (1991). The Role of Parameters in Bar Rule and Bar Induction. Journal of Symbolic Logic 56 (2):715-730.
Gerhard Jäger & Thomas Strahm (1996). Some Theories with Positive Induction of Ordinal Strength Φω. Journal of Symbolic Logic 61 (3):818-842.
Gregory Landini (1996). The Definability of the Set of Natural Numbers in the 1925 Principia Mathematica. Journal of Philosophical Logic 25 (6):597 - 615.
C. T. Chong (1976). An Α-Finite Injury Method of the Unbounded Type. Journal of Symbolic Logic 41 (1):1-17.
Cristina Bicchieri (1988). Backward Induction Without Common Knowledge. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:329 - 343.
John W. Carroll (2000). The Backward Induction Argument. Theory and Decision 48 (1):61-84.
C. T. Chong & Yue Yang (1998). Σ2 Induction and Infinite Injury Priority Argument, Part I: Maximal Sets and the Jump Operator. Journal of Symbolic Logic 63 (3):797 - 814.
Fernando Ferreira (1999). A Note on Finiteness in the Predicative Foundations of Arithmetic. Journal of Philosophical Logic 28 (2):165-174.
Andreas Blass (1995). An Induction Principle and Pigeonhole Principles for K-Finite Sets. Journal of Symbolic Logic 60 (4):1186-1193.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?