{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T01:40:46Z","timestamp":1648690846761},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":8593,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1990,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The lattice of r.e. equivalence relations has not been carefully examined even though r.e. equivalence relations have proved useful in logic. A maximal r.e. equivalence relation has the expected lattice theoretic definition. It is proved that, in every pair of r.e. nonrecursive Turing degrees, there exist maximal r.e. equivalence relations which intersect trivially. This is, so far, unique among r.e. submodel lattices.<\/jats:p>","DOI":"10.2307\/2274473","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:36:50Z","timestamp":1146955010000},"page":"1048-1058","source":"Crossref","is-referenced-by-count":0,"title":["Maximal r.e. equivalence relations"],"prefix":"10.1017","volume":"55","author":[{"given":"Jeffrey S.","family":"Carroll","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S002248120002555X_ref014","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1966-0207556-2"},{"key":"S002248120002555X_ref009","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1981-14863-1"},{"key":"S002248120002555X_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/BF02219290"},{"key":"S002248120002555X_ref012","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7"},{"key":"S002248120002555X_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BF01837553"},{"key":"S002248120002555X_ref013","first-page":"259","volume-title":"To H. B. Curry: essays on combinatory logic, lambda calculus and formalism","author":"Visser","year":"1980"},{"key":"S002248120002555X_ref003","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1986.122.319"},{"key":"S002248120002555X_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/BF02218645"},{"key":"S002248120002555X_ref008","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/042\/791067"},{"key":"S002248120002555X_ref010","first-page":"20","volume":"45","author":"Remmel","year":"1980","journal-title":"On r.e. and co-r.e. vector spaces with nonextendible bases"},{"key":"S002248120002555X_ref002","first-page":"529","volume":"48","author":"Bernardi","year":"1983","journal-title":"Classifying positive equivalence relations"},{"key":"S002248120002555X_ref006","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1969-0245439-X"},{"key":"S002248120002555X_ref007","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(77)90015-8"},{"key":"S002248120002555X_ref011","volume-title":"Theory of recursive functions and effective computability","author":"Rogers","year":"1967"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S002248120002555X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T20:24:35Z","timestamp":1558211075000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S002248120002555X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,9]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1990,9]]}},"alternative-id":["S002248120002555X"],"URL":"https:\/\/doi.org\/10.2307\/2274473","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,9]]}}}