Loading…

Isomorphisms of splits of computably enumerable sets

We show that if A and$\widehat{A}$are automorphic via Φ then the structures$S_{R}(A)$and$S_{R}(\widehat{A})$are$\Delta_{3}^{0}-isomorphic$via an isomorphism Ψ induced by Φ. Then we use this result to classify completely the orbits of hhsimple sets.

Saved in:
Bibliographic Details
Published in:The Journal of symbolic logic 2003-09, Vol.68 (3), p.1044-1064
Main Authors: Cholak, Peter A., Harrington, Leo A.
Format: Article
Language:English
Subjects:
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c353t-d1057b1da63fb2f9b28b0d3776e1b905a2b9676efc68291655ab5c23ccc9e2473
cites cdi_FETCH-LOGICAL-c353t-d1057b1da63fb2f9b28b0d3776e1b905a2b9676efc68291655ab5c23ccc9e2473
container_end_page 1064
container_issue 3
container_start_page 1044
container_title The Journal of symbolic logic
container_volume 68
creator Cholak, Peter A.
Harrington, Leo A.
description We show that if A and$\widehat{A}$are automorphic via Φ then the structures$S_{R}(A)$and$S_{R}(\widehat{A})$are$\Delta_{3}^{0}-isomorphic$via an isomorphism Ψ induced by Φ. Then we use this result to classify completely the orbits of hhsimple sets.
doi_str_mv 10.2178/jsl/1058448453
format article
fullrecord <record><control><sourceid>jstor_proje</sourceid><recordid>TN_cdi_projecteuclid_primary_oai_CULeuclid_euclid_jsl_1058448453</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><jstor_id>4147727</jstor_id><sourcerecordid>4147727</sourcerecordid><originalsourceid>FETCH-LOGICAL-c353t-d1057b1da63fb2f9b28b0d3776e1b905a2b9676efc68291655ab5c23ccc9e2473</originalsourceid><addsrcrecordid>eNplUE1Lw0AUXETBWr168pA_kHa_d3NTi63FgAgWj8vuZoOJiRt2U7D_vqkp9eBp5r15MzwGgFsEZxgJOa9jM0eQSUolZeQMTFBGScqk5OdgAiHGKZUIX4KrGGsIIcuonAC6jr71ofusYhsTXyaxa6r-l1nfdttem2aXuO9t68JAXRJdH6_BRamb6G6OOAWb5dP74jnNX1frxUOeWsJInxbDN8KgQnNSGlxmBksDCyIEd8hkkGlsMj4MpeUSZ4gzpg2zmFhrM4epIFNwP-Z2wdfO9m5rm6pQXahaHXbK60otNvlxe4ShBfXXwhAxGyNs8DEGV57cCKpDbf8Nd6Ohjr0Pp2uKqBD48FI6ylXs3c9J1uFLcUEEU3z1puTLx5I-spXKyR66_Xns</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Isomorphisms of splits of computably enumerable sets</title><source>JSTOR Archival Journals and Primary Sources Collection</source><creator>Cholak, Peter A. ; Harrington, Leo A.</creator><creatorcontrib>Cholak, Peter A. ; Harrington, Leo A.</creatorcontrib><description>We show that if A and$\widehat{A}$are automorphic via Φ then the structures$S_{R}(A)$and$S_{R}(\widehat{A})$are$\Delta_{3}^{0}-isomorphic$via an isomorphism Ψ induced by Φ. Then we use this result to classify completely the orbits of hhsimple sets.</description><identifier>ISSN: 0022-4812</identifier><identifier>EISSN: 1943-5886</identifier><identifier>DOI: 10.2178/jsl/1058448453</identifier><language>eng</language><publisher>New York, USA: Cambridge University Press</publisher><subject>03D25 ; Approximation ; Automorphisms ; Boolean algebras ; Integers ; Logical proofs ; Logical theorems ; Low earth orbits ; Mathematical functions ; Mathematical logic ; Mathematical theorems</subject><ispartof>The Journal of symbolic logic, 2003-09, Vol.68 (3), p.1044-1064</ispartof><rights>Copyright 2003 Association for Symbolic Logic</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c353t-d1057b1da63fb2f9b28b0d3776e1b905a2b9676efc68291655ab5c23ccc9e2473</citedby><cites>FETCH-LOGICAL-c353t-d1057b1da63fb2f9b28b0d3776e1b905a2b9676efc68291655ab5c23ccc9e2473</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://www.jstor.org/stable/pdf/4147727$$EPDF$$P50$$Gjstor$$H</linktopdf><linktohtml>$$Uhttps://www.jstor.org/stable/4147727$$EHTML$$P50$$Gjstor$$H</linktohtml><link.rule.ids>230,314,780,784,885,27924,27925,58238,58471</link.rule.ids></links><search><creatorcontrib>Cholak, Peter A.</creatorcontrib><creatorcontrib>Harrington, Leo A.</creatorcontrib><title>Isomorphisms of splits of computably enumerable sets</title><title>The Journal of symbolic logic</title><description>We show that if A and$\widehat{A}$are automorphic via Φ then the structures$S_{R}(A)$and$S_{R}(\widehat{A})$are$\Delta_{3}^{0}-isomorphic$via an isomorphism Ψ induced by Φ. Then we use this result to classify completely the orbits of hhsimple sets.</description><subject>03D25</subject><subject>Approximation</subject><subject>Automorphisms</subject><subject>Boolean algebras</subject><subject>Integers</subject><subject>Logical proofs</subject><subject>Logical theorems</subject><subject>Low earth orbits</subject><subject>Mathematical functions</subject><subject>Mathematical logic</subject><subject>Mathematical theorems</subject><issn>0022-4812</issn><issn>1943-5886</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2003</creationdate><recordtype>article</recordtype><recordid>eNplUE1Lw0AUXETBWr168pA_kHa_d3NTi63FgAgWj8vuZoOJiRt2U7D_vqkp9eBp5r15MzwGgFsEZxgJOa9jM0eQSUolZeQMTFBGScqk5OdgAiHGKZUIX4KrGGsIIcuonAC6jr71ofusYhsTXyaxa6r-l1nfdttem2aXuO9t68JAXRJdH6_BRamb6G6OOAWb5dP74jnNX1frxUOeWsJInxbDN8KgQnNSGlxmBksDCyIEd8hkkGlsMj4MpeUSZ4gzpg2zmFhrM4epIFNwP-Z2wdfO9m5rm6pQXahaHXbK60otNvlxe4ShBfXXwhAxGyNs8DEGV57cCKpDbf8Nd6Ohjr0Pp2uKqBD48FI6ylXs3c9J1uFLcUEEU3z1puTLx5I-spXKyR66_Xns</recordid><startdate>20030901</startdate><enddate>20030901</enddate><creator>Cholak, Peter A.</creator><creator>Harrington, Leo A.</creator><general>Cambridge University Press</general><general>The Association for Symbolic Logic, Inc</general><general>Association for Symbolic Logic</general><scope>BSCLL</scope><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20030901</creationdate><title>Isomorphisms of splits of computably enumerable sets</title><author>Cholak, Peter A. ; Harrington, Leo A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c353t-d1057b1da63fb2f9b28b0d3776e1b905a2b9676efc68291655ab5c23ccc9e2473</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2003</creationdate><topic>03D25</topic><topic>Approximation</topic><topic>Automorphisms</topic><topic>Boolean algebras</topic><topic>Integers</topic><topic>Logical proofs</topic><topic>Logical theorems</topic><topic>Low earth orbits</topic><topic>Mathematical functions</topic><topic>Mathematical logic</topic><topic>Mathematical theorems</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Cholak, Peter A.</creatorcontrib><creatorcontrib>Harrington, Leo A.</creatorcontrib><collection>Istex</collection><collection>CrossRef</collection><jtitle>The Journal of symbolic logic</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Cholak, Peter A.</au><au>Harrington, Leo A.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Isomorphisms of splits of computably enumerable sets</atitle><jtitle>The Journal of symbolic logic</jtitle><date>2003-09-01</date><risdate>2003</risdate><volume>68</volume><issue>3</issue><spage>1044</spage><epage>1064</epage><pages>1044-1064</pages><issn>0022-4812</issn><eissn>1943-5886</eissn><abstract>We show that if A and$\widehat{A}$are automorphic via Φ then the structures$S_{R}(A)$and$S_{R}(\widehat{A})$are$\Delta_{3}^{0}-isomorphic$via an isomorphism Ψ induced by Φ. Then we use this result to classify completely the orbits of hhsimple sets.</abstract><cop>New York, USA</cop><pub>Cambridge University Press</pub><doi>10.2178/jsl/1058448453</doi><tpages>21</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0022-4812
ispartof The Journal of symbolic logic, 2003-09, Vol.68 (3), p.1044-1064
issn 0022-4812
1943-5886
language eng
recordid cdi_projecteuclid_primary_oai_CULeuclid_euclid_jsl_1058448453
source JSTOR Archival Journals and Primary Sources Collection
subjects 03D25
Approximation
Automorphisms
Boolean algebras
Integers
Logical proofs
Logical theorems
Low earth orbits
Mathematical functions
Mathematical logic
Mathematical theorems
title Isomorphisms of splits of computably enumerable sets
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T00%3A43%3A47IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-jstor_proje&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Isomorphisms%20of%20splits%20of%20computably%20enumerable%20sets&rft.jtitle=The%20Journal%20of%20symbolic%20logic&rft.au=Cholak,%20Peter%20A.&rft.date=2003-09-01&rft.volume=68&rft.issue=3&rft.spage=1044&rft.epage=1064&rft.pages=1044-1064&rft.issn=0022-4812&rft.eissn=1943-5886&rft_id=info:doi/10.2178/jsl/1058448453&rft_dat=%3Cjstor_proje%3E4147727%3C/jstor_proje%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c353t-d1057b1da63fb2f9b28b0d3776e1b905a2b9676efc68291655ab5c23ccc9e2473%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_jstor_id=4147727&rfr_iscdi=true