Please use this identifier to cite or link to this item:
|Title:||∑2 induction and infinite injury priority arguments, part III: Prompt sets, minimal pairs and shoenfield's conjecture||Authors:||Chong, C.T.
|Issue Date:||2001||Citation:||Chong, C.T.,Qian, L.,Slaman, T.A.,Yang, Y. (2001). ∑2 induction and infinite injury priority arguments, part III: Prompt sets, minimal pairs and shoenfield's conjecture. Israel Journal of Mathematics 121 : 1-28. ScholarBank@NUS Repository.||Abstract:||We prove that in every B∑2 model (one satisfies ∑2 collection axioms but not ∑2 induction), every recursively enumerable (r.e.) set is either prompt or recursive. Consequently, over the base theory ∑2 collection, the existence of r.e. minimal pairs is equivalent to ∑2 induction. We also refute Shoenfield's Conjecture in B∑2 models.||Source Title:||Israel Journal of Mathematics||URI:||http://scholarbank.nus.edu.sg/handle/10635/102602||ISSN:||00212172|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Sep 19, 2020
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.