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

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

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2586713
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,046
Through your library

References found in this work BETA

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

Citations of this work BETA

Add more citations

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 index
2009-01-28

Total views
32 ( #262,884 of 2,259,507 )

Recent downloads (6 months)
4 ( #400,948 of 2,259,507 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature