{"id":"https://openalex.org/W2023547119","doi":"https://doi.org/10.2178/jsl/1243948326","title":"Equivalence structures and isomorphisms in the difference hierarchy","display_name":"Equivalence structures and isomorphisms in the difference hierarchy","publication_year":2009,"publication_date":"2009-06-01","ids":{"openalex":"https://openalex.org/W2023547119","doi":"https://doi.org/10.2178/jsl/1243948326","mag":"2023547119"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1243948326","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057979748","display_name":"Douglas Cenzer","orcid":"https://orcid.org/0000-0002-6029-9900"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Douglas Cenzer","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037735865","display_name":"Geoffrey Laforte","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Geoffrey Laforte","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5113511227","display_name":"Jeffrey B. Remmel","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jeffrey Remmel","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.501,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":12,"citation_normalized_percentile":{"value":0.714807,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":85,"max":86},"biblio":{"volume":"74","issue":"2","first_page":"535","last_page":"556"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9983,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9983,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9921,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9817,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.51538527},{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.48240006}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.7217505},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6074983},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.5840502},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.51538527},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.48240006},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.41794553},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.41290185},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3236295},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32220685},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1243948326","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.4}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":6,"referenced_works":["https://openalex.org/W1976898576","https://openalex.org/W2004277670","https://openalex.org/W2056414301","https://openalex.org/W2978668875","https://openalex.org/W4232277851","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W962203960","https://openalex.org/W4211007821","https://openalex.org/W2509431957","https://openalex.org/W2499765358","https://openalex.org/W2365264209","https://openalex.org/W2349728712","https://openalex.org/W2026999166","https://openalex.org/W1996802783","https://openalex.org/W1985493589","https://openalex.org/W1599954583"],"abstract_inverted_index":{"Abstract":[0],"We":[1,13,31],"examine":[2],"the":[3],"effective":[4],"categoricity":[5,18,39,53],"of":[6,17,25,38,59,72],"equivalence":[7,42],"structures":[8],"via":[9],"Ershov's":[10],"difference":[11],"hierarchy.":[12,30],"explore":[14],"various":[15],"kinds":[16],"available":[19,27],"by":[20],"distinguishing":[21],"three":[22],"different":[23],"notions":[24,37],"isomorphism":[26],"in":[28],"this":[29],"prove":[32],"several":[33],"results":[34],"relating":[35],"our":[36,57,70],"to":[40,56,69],"computable":[41,52],"relations:":[43],"for":[44,49],"example,":[45],"we":[46],"show":[47],"that,":[48],"such":[50],"relations,":[51],"is":[54,67],"equivalent":[55,68],"notion":[58,71],"weak":[60],"\u03c9":[61,74],"-c.e.":[62,75],"categoricity,":[63],"and":[64],"that":[65],"-categoricity":[66],"graph-":[73],"categoricity.":[76]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2023547119","counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2024-12-13T20:17:43.419700","created_date":"2016-06-24"}