Σ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

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,131

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

$\sigma_2$ Induction And Infinite Injury Priority Argument, Part I: Maximal Sets And The Jump Operator.C. T. Chong & Yue Yang - 1998 - Journal of Symbolic Logic 63 (3):797-814.
∑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. [REVIEW]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.
Finite injury and Σ1-induction.Michael Mytilinaios - 1989 - Journal of Symbolic Logic 54 (1):38 - 49.
Σ2 -collection and the infinite injury priority method.Michael E. Mytilinaios & Theodore A. Slaman - 1988 - Journal of Symbolic Logic 53 (1):212-221.
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. [REVIEW]Anne Leggett - 1987 - Journal of Symbolic Logic 52 (1):285-287.

Analytics

Added to PP
2009-01-28

Downloads
92 (#243,615)

6 months
21 (#147,619)

Historical graph of downloads
How can I increase my downloads?

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