{"id":"https://openalex.org/W2015707592","doi":"https://doi.org/10.2307/2272830","title":"Nowhere simple sets and the lattice of recursively enumerable sets","display_name":"Nowhere simple sets and the lattice of recursively enumerable sets","publication_year":1978,"publication_date":"1978-06-01","ids":{"openalex":"https://openalex.org/W2015707592","doi":"https://doi.org/10.2307/2272830","mag":"2015707592"},"language":"en","primary_location":{"id":"doi:10.2307/2272830","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272830","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},"type":"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/A5041739806","display_name":"Richard A. Shore","orcid":"https://orcid.org/0000-0003-0381-5259"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Richard A. Shore","raw_affiliation_strings":["Cornell University, Ithaca, NY 14853","Cornell University"],"affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, NY 14853","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Cornell University","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5041739806"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":2.6398,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.89800186,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"43","issue":"2","first_page":"322","last_page":"330"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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.9998999834060669,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9884999990463257,"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/mathematics","display_name":"Mathematics","score":0.7144887447357178},{"id":"https://openalex.org/keywords/recursively-enumerable-language","display_name":"Recursively enumerable language","score":0.6517722606658936},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.6348217129707336},{"id":"https://openalex.org/keywords/recursively-enumerable-set","display_name":"Recursively enumerable set","score":0.6339778900146484},{"id":"https://openalex.org/keywords/automorphism","display_name":"Automorphism","score":0.6104600429534912},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.5713443756103516},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4850448966026306},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4574294984340668},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4508095979690552},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.4474126696586609}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7144887447357178},{"id":"https://openalex.org/C203702658","wikidata":"https://www.wikidata.org/wiki/Q1073063","display_name":"Recursively enumerable language","level":2,"score":0.6517722606658936},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.6348217129707336},{"id":"https://openalex.org/C52703633","wikidata":"https://www.wikidata.org/wiki/Q676835","display_name":"Recursively enumerable set","level":3,"score":0.6339778900146484},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.6104600429534912},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.5713443756103516},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4850448966026306},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4574294984340668},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4508095979690552},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.4474126696586609},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2272830","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272830","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183740208","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183740208","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1965251765","https://openalex.org/W1975466840","https://openalex.org/W1979221298","https://openalex.org/W2045033949","https://openalex.org/W2049442092","https://openalex.org/W2055051664","https://openalex.org/W2117832390","https://openalex.org/W2315181607","https://openalex.org/W2530006810","https://openalex.org/W2905135108","https://openalex.org/W6662858503"],"related_works":["https://openalex.org/W1972481159","https://openalex.org/W2037833610","https://openalex.org/W1973052363","https://openalex.org/W2094468224","https://openalex.org/W1980641386","https://openalex.org/W2132512348","https://openalex.org/W2135152748","https://openalex.org/W4249600134","https://openalex.org/W2757989085","https://openalex.org/W1988158368"],"abstract_inverted_index":{"Ever":[0],"since":[1],"Post":[2,186],"[4]":[3],"the":[4,27,30,61,74,83,142,152,168,213,225,229,259,266,285,301,330],"structure":[5],"of":[6,29,33,63,67,85,87,102,145,209,215,231,273],"recursively":[7],"enumerable":[8],"sets":[9,35,38,41,147,158,191,220,233,268,299],"and":[10,32,36,79,88,148,176,217,239,245,275,284,316],"their":[11,149],"classification":[12,295],"has":[13,181,221],"been":[14,58,222,325],"an":[15,68],"important":[16],"area":[17],"in":[18,54,151,204,243],"recursion":[19],"theory.":[20],"It":[21],"is":[22,106,293,310],"also":[23,133],"intimately":[24],"connected":[25],"with":[26,73,127,164,270],"study":[28],"lattices":[31],"r.e.":[34,37,64,69,146,190,219,298],"modulo":[39,76],"finite":[40,77],"respectively.":[42],"(This":[43],"lattice":[44,62,153,201],"theoretic":[45,202],"viewpoint":[46],"was":[47],"introduced":[48,264],"by":[49,60,82,174,177],"Myhill":[50],"[3].)":[51],"Key":[52],"roles":[53,150],"both":[55],"areas":[56],"have":[57,94,324],"played":[59],"supersets,":[65],",":[66],"set":[70],"A":[71,103],"(along":[72],"corresponding":[75],"sets)":[78],"more":[80],"recently":[81],"group":[84],"automorphisms":[86,173],".":[89,154,210],"Thus":[90,228],"for":[91,159,265,288,297],"example":[92,160],"we":[93],"Lachlan's":[95],"deep":[96],"result":[97],"[1]":[98],"that":[99,183],"Post's":[100,271],"notion":[101,272],"being":[104,111],"hyperhypersimple":[105],"equivalent":[107],"to":[108,253,303,312,323],"(or":[109],")":[110],"a":[112,278,294],"Boolean":[113,121],"algebra.":[114],"Indeed":[115],"Lachlan":[116],"even":[117],"tells":[118],"us":[119],"which":[120,197],"algebras":[122],"appear":[123],"as":[124,193],"\u2014precisely":[125],"those":[126,163],"\u03a3":[128],"3":[129],"representations.":[130],"There":[131],"are":[132,161,198,203,241,247],"many":[134],"other":[135,169,185],"simpler":[136],"but":[137,250],"still":[138],"illuminating":[139],"connections":[140],"between":[141,237],"older":[143],"typology":[144],"(":[155],"r":[156],"-maximal":[157],"just":[162],"completely":[165],"uncomplemented.)":[166],"On":[167],"hand,":[170],"work":[171,328],"on":[172,189,277,329],"Martin":[175],"Soare":[178],"[8],":[179],"[9]":[180],"shown":[182],"most":[184],"type":[187],"conditions":[188],"such":[192],"hypersimplicity":[194],"or":[195],"creativeness":[196,274],"not":[199,206,321],"obviously":[200],"fact":[205],"invariant":[207],"properties":[208],"In":[211],"general":[212],"program":[214],"analyzing":[216],"classifying":[218],"directed":[223],"at":[224],"simple":[226,232,302],"sets.":[227,261,332],"subtypes":[230],"studied":[234],"abound":[235],"\u2014":[236,249],"ten":[238],"fifteen":[240],"mentioned":[242],"[5]":[244],"there":[246,251,292,319],"others":[248],"seems":[252],"be":[254,313],"much":[255,326],"less":[256],"known":[257],"about":[258],"nonsimple":[260,267,331],"The":[262],"typologies":[263],"begin":[269],"add":[276],"few":[279],"variations.":[280],"(See":[281],"[5,":[282,307],"\u00a78.7]":[283],"related":[286],"exercises":[287],"some":[289],"examples.)":[290],"Although":[291],"scheme":[296],"along":[300],"creative":[304],"line":[305],"(see":[306],"\u00a78.7])":[308],"it":[309],"admitted":[311],"somewhat":[314],"artificial":[315],"arbitrary.":[317],"Moreover":[318],"does":[320],"seem":[322],"recent":[327]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}