Σ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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,271

External links

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

Through your library

Similar books and articles

Maximality and microphysical supervenience.Theodore Sider - 2003 - Philosophy and Phenomenological Research 66 (1):139-149.
The infinite injury priority method.Robert I. Soare - 1976 - Journal of Symbolic Logic 41 (2):513-530.
Sets and worlds again.Christopher Menzel - 2012 - Analysis 72 (2):304-309.
Craig on the actual infinite.Wes Morriston - 2002 - Religious Studies 38 (2):147-166.
A Gabbay-Rule Free Axiomatization of T x W Validity.Maria Concetta Di Maio & Alberto Zanardo - 1998 - Journal of Philosophical Logic 27 (5):435 - 487.
Finite injury and Σ1-induction.Michael Mytilinaios - 1989 - Journal of Symbolic Logic 54 (1):38 - 49.

Analytics

Added to PP
2009-01-28

Downloads
54 (#287,521)

6 months
3 (#1,002,198)

Historical graph of downloads
How can I increase my downloads?

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