{"id":"https://openalex.org/W2130922919","doi":"https://doi.org/10.2307/2274483","title":"The Complexity of intrinsically r.e. subsets of existentially decidable models","display_name":"The Complexity of intrinsically r.e. subsets of existentially decidable models","publication_year":1990,"publication_date":"1990-09-01","ids":{"openalex":"https://openalex.org/W2130922919","doi":"https://doi.org/10.2307/2274483","mag":"2130922919"},"language":"en","primary_location":{"id":"doi:10.2307/2274483","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274483","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/A5010219642","display_name":"John Chisholm","orcid":null},"institutions":[{"id":"https://openalex.org/I117942362","display_name":"Western Illinois University","ror":"https://ror.org/02sshz518","country_code":"US","type":"education","lineage":["https://openalex.org/I117942362"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"John Chisholm","raw_affiliation_strings":["Department of Mathematics, Western Illinois University, Macomb, Illinois 61455"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Western Illinois University, Macomb, Illinois 61455","institution_ids":["https://openalex.org/I117942362"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5010219642"],"corresponding_institution_ids":["https://openalex.org/I117942362"],"apc_list":null,"apc_paid":null,"fwci":0.989,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.77448747,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"55","issue":"3","first_page":"1213","last_page":"1232"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9965999722480774,"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.9965999722480774,"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.9775000214576721,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9714000225067139,"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/recursion","display_name":"Recursion (computer science)","score":0.7464605569839478},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7193660736083984},{"id":"https://openalex.org/keywords/primitive-recursive-function","display_name":"Primitive recursive function","score":0.6806340217590332},{"id":"https://openalex.org/keywords/recursive-functions","display_name":"Recursive functions","score":0.6322528719902039},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5830987691879272},{"id":"https://openalex.org/keywords/enumeration","display_name":"Enumeration","score":0.5419403910636902},{"id":"https://openalex.org/keywords/\u03bc-operator","display_name":"\u03bc operator","score":0.5387173295021057},{"id":"https://openalex.org/keywords/sort","display_name":"sort","score":0.4688716232776642},{"id":"https://openalex.org/keywords/computability-theory","display_name":"Computability theory","score":0.46799299120903015},{"id":"https://openalex.org/keywords/model-theory","display_name":"Model theory","score":0.4387868344783783},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4211900234222412},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18691980838775635},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.10514634847640991}],"concepts":[{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.7464605569839478},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7193660736083984},{"id":"https://openalex.org/C9986523","wikidata":"https://www.wikidata.org/wiki/Q1570472","display_name":"Primitive recursive function","level":2,"score":0.6806340217590332},{"id":"https://openalex.org/C2982939207","wikidata":"https://www.wikidata.org/wiki/Q1175101","display_name":"Recursive functions","level":2,"score":0.6322528719902039},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5830987691879272},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.5419403910636902},{"id":"https://openalex.org/C85955891","wikidata":"https://www.wikidata.org/wiki/Q307772","display_name":"\u03bc operator","level":3,"score":0.5387173295021057},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.4688716232776642},{"id":"https://openalex.org/C111142201","wikidata":"https://www.wikidata.org/wiki/Q818930","display_name":"Computability theory","level":2,"score":0.46799299120903015},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.4387868344783783},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4211900234222412},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18691980838775635},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.10514634847640991}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2274483","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274483","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/1183743415","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183743415","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":5,"referenced_works":["https://openalex.org/W1979974835","https://openalex.org/W2044797614","https://openalex.org/W2047865735","https://openalex.org/W2530006810","https://openalex.org/W2905135108"],"related_works":["https://openalex.org/W6819771","https://openalex.org/W1596057910","https://openalex.org/W4242488152","https://openalex.org/W1589207578","https://openalex.org/W2897159003","https://openalex.org/W2002433529","https://openalex.org/W2978345188","https://openalex.org/W4206699482","https://openalex.org/W2014107656","https://openalex.org/W2037917663"],"abstract_inverted_index":{"Recursive":[0],"model":[1,12,28,70,192],"theory":[2,10],"involves":[3],"the":[4,22,59,91,121,154,201,207,242,254],"study":[5,21],"of":[6,24,27,39,61,86,90,93,116,134,149,153,156,180,200,204,237,241,244],"relationships":[7],"between":[8],"recursion":[9],"and":[11,49,75,119,189,260],"theory.":[13,29],"One":[14],"direction":[15],"this":[16,251],"often":[17],"takes":[18],"is":[19,58,73,96,112,159,176,183,187,190,253],"to":[20,194,213,232],"effectiveness":[23],"various":[25],"aspects":[26],"This":[30],"paper":[31],"examines":[32],"such":[33],"questions":[34],"by":[35,258],"examining":[36],"some":[37],"properties":[38,203,236],"recursive":[40,54,97,114,178,188,202,216,226,235],"models;":[41],"that":[42,185,223],"is,":[43],"models":[44],"whose":[45,56,71],"basic":[46],"relations,":[47],"functions,":[48],"constants":[50],"are":[51],"all":[52,87,150],"uniformly":[53],"(and":[55],"universe":[57,72],"set":[60],"natural":[62],"numbers).":[63],"Somewhat":[64],"more":[65],"precisely:":[66],"Let":[67],"be":[68,82,145,214,224,248],"a":[69,113,177,191,215,225],"N,":[74],"let":[76,139],"(":[77,79,104,106,140,142,169,171],"\u03b8":[78,105],"))":[80,107,143,172],"i":[81,101,108,144,166,173],"an":[83,126,131,146],"effective":[84,127,132,147],"enumeration":[85,148],"quantifier-free":[88],"formulas":[89,152],"language":[92,155],".":[94,157,205,238],"Then":[95,158],"if":[98,162,186,220],"{\u3008":[99],",":[100,109,165,195],"\u3009:":[102,167],"satisfies":[103,168],"in":[110,174,250,262],"}":[111,175],"subset":[115,179],"N.":[117,181],"(Here":[118],"throughout":[120],"paper,":[122],"\u3008":[123,164],"\u3009":[124],"denotes":[125],"pairing":[128],"function,":[129],"or":[130],"coding":[133],"sequences,":[135],"as":[136],"required.)":[137],"Similarly,":[138],"\u03d5":[141,170],"existential":[151],"existentially":[160],"decidable":[161],"{":[163],"It":[182],"clear":[184],"isomorphic":[193],"then":[196],"may":[197],"lose":[198],"many":[199],"In":[206],"simplest":[208],"example,":[209],"could":[210,229],"easily":[211],"fail":[212,231],"model.":[217],"But":[218],"even":[219],"we":[221],"require":[222],"model,":[227],"it":[228],"still":[230],"retain":[233],"other":[234],"An":[239],"example":[240],"sort":[243],"property":[245],"which":[246],"can":[247],"studied":[249],"vein":[252],"following":[255],"notion,":[256],"introduced":[257],"Ash":[259],"Nerode":[261],"[2].":[263]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}