Separating Principles Below WKL0. Flood, S. & Towsner, H. Mathematical Logic Quarterly, 62(6):507–529, December, 2016. Journal Arxiv doi abstract bibtex In this paper, we study Ramsey-type Konig's Lemma, written RWKL, using a technique introduced by Lerman, Solomon, and the second author. This technique uses iterated forcing to construct an omega-model satisfying one principle T_1 but not another T_2. The technique often allows one to translate a "one step" construction (building an instance of T_2 along with a collection of solutions to each computable instance of T_1) into an omega-model separation (building a computable instance of T_2 together with a Turing ideal where T_1 holds). We illustrate this translation by separating d-DNR from DNR (reproving a result of Ambos-Spies, Kjos-Hanssen, Lempp, and Slaman), and then apply this technique to separate RWKL from DNR (which has been shown separately by Bienvenu, Patey, and Schafer).
@article{flood14:separating_principles_below_wkl0,
author = {{Flood}, S. and {Towsner}, H.},
title = "{Separating Principles Below WKL0}",
journal={Mathematical Logic Quarterly},
year={2016},
month=dec,
volume = {62},
number = {6},
issn = {1521-3870},
urljournal = {http://dx.doi.org/10.1002/malq.201500001},
doi = {10.1002/malq.201500001},
pages = {507--529},
urlarxiv={http://arxiv.org/abs/1410.4068},
abstract={In this paper, we study Ramsey-type Konig's Lemma, written RWKL, using a technique introduced by Lerman, Solomon, and the second author. This technique uses iterated forcing to construct an omega-model satisfying one principle T_1 but not another T_2. The technique often allows one to translate a "one step" construction (building an instance of T_2 along with a collection of solutions to each computable instance of T_1) into an omega-model separation (building a computable instance of T_2 together with a Turing ideal where T_1 holds).
We illustrate this translation by separating d-DNR from DNR (reproving a result of Ambos-Spies, Kjos-Hanssen, Lempp, and Slaman), and then apply this technique to separate RWKL from DNR (which has been shown separately by Bienvenu, Patey, and Schafer).
}
}
Downloads: 0
{"_id":"N8XWEZmt7rzkBMdce","bibbaseid":"flood-towsner-separatingprinciplesbelowwkl0-2016","downloads":3,"creationDate":"2017-01-10T22:05:10.213Z","title":"Separating Principles Below WKL0","author_short":["Flood, S.","Towsner, H."],"year":2016,"bibtype":"article","biburl":"www.sas.upenn.edu/~htowsner/papers.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Flood"],"firstnames":["S."],"suffixes":[]},{"propositions":[],"lastnames":["Towsner"],"firstnames":["H."],"suffixes":[]}],"title":"Separating Principles Below WKL0","journal":"Mathematical Logic Quarterly","year":"2016","month":"December","volume":"62","number":"6","issn":"1521-3870","urljournal":"http://dx.doi.org/10.1002/malq.201500001","doi":"10.1002/malq.201500001","pages":"507–529","urlarxiv":"http://arxiv.org/abs/1410.4068","abstract":"In this paper, we study Ramsey-type Konig's Lemma, written RWKL, using a technique introduced by Lerman, Solomon, and the second author. This technique uses iterated forcing to construct an omega-model satisfying one principle T_1 but not another T_2. The technique often allows one to translate a \"one step\" construction (building an instance of T_2 along with a collection of solutions to each computable instance of T_1) into an omega-model separation (building a computable instance of T_2 together with a Turing ideal where T_1 holds). We illustrate this translation by separating d-DNR from DNR (reproving a result of Ambos-Spies, Kjos-Hanssen, Lempp, and Slaman), and then apply this technique to separate RWKL from DNR (which has been shown separately by Bienvenu, Patey, and Schafer). ","bibtex":"@article{flood14:separating_principles_below_wkl0,\n author = {{Flood}, S. and {Towsner}, H.},\n title = \"{Separating Principles Below WKL0}\",\njournal={Mathematical Logic Quarterly},\nyear={2016},\nmonth=dec,\nvolume = {62},\nnumber = {6},\nissn = {1521-3870},\nurljournal = {http://dx.doi.org/10.1002/malq.201500001},\ndoi = {10.1002/malq.201500001},\npages = {507--529},\nurlarxiv={http://arxiv.org/abs/1410.4068},\nabstract={In this paper, we study Ramsey-type Konig's Lemma, written RWKL, using a technique introduced by Lerman, Solomon, and the second author. This technique uses iterated forcing to construct an omega-model satisfying one principle T_1 but not another T_2. The technique often allows one to translate a \"one step\" construction (building an instance of T_2 along with a collection of solutions to each computable instance of T_1) into an omega-model separation (building a computable instance of T_2 together with a Turing ideal where T_1 holds). \n\nWe illustrate this translation by separating d-DNR from DNR (reproving a result of Ambos-Spies, Kjos-Hanssen, Lempp, and Slaman), and then apply this technique to separate RWKL from DNR (which has been shown separately by Bienvenu, Patey, and Schafer).\n}\n}\n\n\n\n\n","author_short":["Flood, S.","Towsner, H."],"key":"flood14:separating_principles_below_wkl0","id":"flood14:separating_principles_below_wkl0","bibbaseid":"flood-towsner-separatingprinciplesbelowwkl0-2016","role":"author","urls":{"Journal":"http://dx.doi.org/10.1002/malq.201500001","Arxiv":"http://arxiv.org/abs/1410.4068"},"metadata":{"authorlinks":{"towsner, h":"https://www.sas.upenn.edu/~htowsner/index.html"}}},"search_terms":["separating","principles","below","wkl0","flood","towsner"],"keywords":[],"authorIDs":["W9X6jnrT5WndXxz4f"],"dataSources":["6NR8bS3FWz4thtH6K","HbyKaYarx2Kg7vovB"]}