{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,2]],"date-time":"2023-02-02T19:51:56Z","timestamp":1675367516084},"reference-count":17,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Math. Log."],"published-print":{"date-parts":[[2015,6]]},"abstract":"<jats:p> We show that there is a strong minimal pair in the computably enumerable (c.e.) Turing degrees, i.e. a pair of nonzero c.e. degrees a and b such that a\u2229b = 0 and for any nonzero c.e. degree x \u2264 a, b \u222a x \u2265 a. <\/jats:p>","DOI":"10.1142\/s0219061315500038","type":"journal-article","created":{"date-parts":[[2015,5,14]],"date-time":"2015-05-14T04:18:55Z","timestamp":1431577135000},"page":"1550003","source":"Crossref","is-referenced-by-count":2,"title":["On the existence of a strong minimal pair"],"prefix":"10.1142","volume":"15","author":[{"given":"George","family":"Barmpalias","sequence":"first","affiliation":[{"name":"State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, P. R. China"},{"name":"School of Mathematics, Statistics and Operations Research, Victoria University, Wellington, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingzhong","family":"Cai","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Dartmouth College, Hanover, NH 03755, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Lempp","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Wisconsin, Madison, WI 53706, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Theodore A.","family":"Slaman","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of California, Berkeley, CA 94720, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2015,7,8]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.2307\/2274050"},{"key":"rf3","doi-asserted-by":"crossref","unstructured":"P. A.\u00a0Fejer and R.\u00a0Soare, Logic Year 1979\u20131980: University of Connecticut (Springer-Verlag, 1981)\u00a0pp. 49\u201362.","DOI":"10.1007\/BFb0090938"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1982-14970-9"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-16.1.537"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(76)90016-4"},{"key":"rf7","series-title":"Lecture Notes in Logic","first-page":"206","volume":"27","author":"Lempp S.","year":"2006"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-98-01800-5"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(99)00021-4"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511750779"},{"key":"rf11","volume-title":"Degrees of Unsolvability, Annals of Mathematics Studies","author":"Sacks G. E.","year":"1963"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.2307\/1970214"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.2307\/1970393"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(90)90048-7"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.2307\/2275099"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.2307\/3062109"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.2307\/2269807"}],"container-title":["Journal of Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0219061315500038","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T22:31:25Z","timestamp":1565130685000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0219061315500038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":17,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2015,7,8]]},"published-print":{"date-parts":[[2015,6]]}},"alternative-id":["10.1142\/S0219061315500038"],"URL":"https:\/\/doi.org\/10.1142\/s0219061315500038","relation":{},"ISSN":["0219-0613","1793-6691"],"issn-type":[{"value":"0219-0613","type":"print"},{"value":"1793-6691","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6]]}}}