Σ2 Induction and infinite injury priority argument, Part I: Maximal sets and the jump operator

&
Journal of Symbolic Logic 63 (3):797-814 (1998)
  Copy   BIBTEX

Abstract

Related Works: Part II: C. T. Chong, Yue Yang. $\Sigma_2$ Induction and Infinite Injury Priority Argument, Part II: Tame $\Sigma_2$ Coding and the Jump Operator. Ann. Pure Appl. Logic, vol. 87, no. 2, 103--116. Mathematical Reviews : MR1490049 Part III: C. T. Chong, Lei Qian, Theodore A. Slaman, Yue Yang. $\Sigma_2$ Induction and Infinite Injury Priority Argument, Part III: Prompt Sets, Minimal Paries and Shoenfield's Conjecture. Mathematical Reviews : MR1818378.

Categories

Keywords

Reprint years

DOI

10.2307/2586713

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

∑2 Induction and infinite injury priority arguments, part II Tame ∑2 coding and the jump operator.C. T. Chong & Yue Yang - 1997 - Annals of Pure and Applied Logic 87 (2):103-116.
Five papers on reverse mathematics and Ramsey-theoretic principles - C. T. Chong, Theodore A. Slaman, and Yue Yang, The metamathematics of Stable Ramsey’s Theorem for Pairs. Journal of the American Mathematical Society, vol. 27 (2014), no. 3, pp. 863–892. - Manuel Lerman, Reed Solomon, and Henry Towsner, Separating principles below Ramsey’s Theorem for Pairs. Journal of Mathematical Logic, vol. 13 (2013), no. 2, 1350007, 44 pp. - Jiayi Liu, $RT2^^2$ does not imply WKL 0. Journal of Symbolic Logic, vol. 77 (2012), no. 2, pp. 609–620. - Lu Liu, Cone avoiding closed sets. Transactions of the American Mathematical Society, vol. 367 (2015), no. 3, pp. 1609–1630. - Wei Wang, Some logically weak Ramseyan theorems_. Advances in Mathematics, vol. 261 (2014), pp. 1–25.Denis R. Hirschfeldt - 2016 - Bulletin of Symbolic Logic 22 (4):526-530.
The infinite injury priority method.Robert I. Soare - 1976 - Journal of Symbolic Logic 41 (2):513-530.
Σ2 -collection and the infinite injury priority method.Michael E. Mytilinaios & Theodore A. Slaman - 1988 - Journal of Symbolic Logic 53 (1):212-221.
Finite injury and Σ1-induction.Michael Mytilinaios - 1989 - Journal of Symbolic Logic 54 (1):38 - 49.
Isolation and the Jump Operator.Guohua Wu - 2001 - Mathematical Logic Quarterly 47 (4):525-534.
Fuzzy logic theory and applications: Part I and Part II.Lotfi A. Zadeh - 2018 - New Jersey: World Scientific. Edited by R. A. Aliev.
C. T. Chong. Techniques of admissible recursion theory. Lecture notes in mathematics, vol. 1106. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1984, ix + 214 pp.Anne Leggett - 1987 - Journal of Symbolic Logic 52 (1):285-287.
Handbook of Mathematical Induction: Theory and Applications.David S. Gunderson - 2010 - Chapman & Hall/Crc.
Gradient Residuals - The Calculus of Clearance - Research Note X: The Self-Modulating Operator.Eugene Pretorius - 2026 - Zenodo.

Analytics

Added to PP
2009-01-28

Downloads
189 (#213,925)

6 months
45 (#187,362)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

The degree of a Σn cut.C. T. Chong & K. J. Mourad - 1990 - Annals of Pure and Applied Logic 48 (3):227-235.

Add more references