{"id":"https://openalex.org/W2102403322","doi":"https://doi.org/10.2178/jsl/1080938824","title":"<i>P</i> versus <i>NP</i> and computability theoretic constructions in complexity theory over algebraic structures","display_name":"<i>P</i> versus <i>NP</i> and computability theoretic constructions in complexity theory over algebraic structures","publication_year":2004,"publication_date":"2004-03-01","ids":{"openalex":"https://openalex.org/W2102403322","doi":"https://doi.org/10.2178/jsl/1080938824","mag":"2102403322"},"language":"en","primary_location":{"id":"doi:10.2178/jsl/1080938824","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1080938824","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/A5057534433","display_name":"Gunther Mainhardt","orcid":null},"institutions":[{"id":"https://openalex.org/I2799318839","display_name":"Universit\u00e4tsmedizin Greifswald","ror":"https://ror.org/025vngs54","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I2799318839"]},{"id":"https://openalex.org/I36522303","display_name":"Universit\u00e4t Greifswald","ror":"https://ror.org/00r1edq15","country_code":"DE","type":"education","lineage":["https://openalex.org/I36522303"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Gunther Mainhardt","raw_affiliation_strings":["Universit\u00e4t Greifswald, F.-L.-Jahnstr. 15A, 17487 Greifswald, Germany, E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e4t Greifswald, F.-L.-Jahnstr. 15A, 17487 Greifswald, Germany, E-mail:","institution_ids":["https://openalex.org/I2799318839","https://openalex.org/I36522303"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5057534433"],"corresponding_institution_ids":["https://openalex.org/I2799318839","https://openalex.org/I36522303"],"apc_list":null,"apc_paid":null,"fwci":0.342,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.63105787,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"69","issue":"1","first_page":"39","last_page":"64"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998000264167786,"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/T11567","display_name":"semigroups and automata theory","score":0.9998000264167786,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9997000098228455,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/signature","display_name":"Signature (topology)","score":0.6730208396911621},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6280969381332397},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5807530879974365},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4933868944644928},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46296098828315735},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.4624924957752228},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.45854097604751587},{"id":"https://openalex.org/keywords/dtime","display_name":"DTIME","score":0.4452402591705322},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.2038394808769226},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.19662442803382874},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.19292989373207092},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.0943438708782196},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.08527830243110657}],"concepts":[{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.6730208396911621},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6280969381332397},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5807530879974365},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4933868944644928},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46296098828315735},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.4624924957752228},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.45854097604751587},{"id":"https://openalex.org/C15547884","wikidata":"https://www.wikidata.org/wiki/Q1155831","display_name":"DTIME","level":5,"score":0.4452402591705322},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.2038394808769226},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.19662442803382874},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.19292989373207092},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0943438708782196},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.08527830243110657},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C131671149","wikidata":"https://www.wikidata.org/wiki/Q2703890","display_name":"Universal Turing machine","level":4,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2178/jsl/1080938824","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1080938824","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/1080938824","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1080938824","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W632143945","https://openalex.org/W1514578557","https://openalex.org/W1979572578","https://openalex.org/W1993138363","https://openalex.org/W2017722148","https://openalex.org/W2044480288","https://openalex.org/W2056414301","https://openalex.org/W2072114392","https://openalex.org/W2099912947","https://openalex.org/W2799061192","https://openalex.org/W2954327716","https://openalex.org/W3145992582","https://openalex.org/W4232277851","https://openalex.org/W4243643814"],"related_works":["https://openalex.org/W2133552552","https://openalex.org/W153309764","https://openalex.org/W2095274905","https://openalex.org/W1589293917","https://openalex.org/W2122747219","https://openalex.org/W1981385397","https://openalex.org/W2086025566","https://openalex.org/W2225473301","https://openalex.org/W2295040078","https://openalex.org/W1504200807"],"abstract_inverted_index":{"Abstract":[0],"We":[1,39],"show":[2,93],"that":[3,73,94,117,124,141],"there":[4,83,148],"is":[5,84,108,120,135,149,240,251,262],"a":[6,19,41,45,67,150,265],"structure":[7,20,46,151,257],"of":[8,21,44,47,77,87,100,127,152,182,196,243,258,278,289],"countably":[9,88],"infinite":[10,89],"signature":[11,23,49,154],"with":[12,24,50,66,102,129,155,246],"P":[13,17,25,29,33,37,51,55,59,63,78,103,107,130,134,159,163,167,171,185,199,230,235,261],"=":[14,26,104],"N":[15,27,31,35,53,57,61,105,132,161,165,169,175,183,189,197,213,228,233,259],"2":[16,36,170,176,184,214,229,234,260],"and":[18,30,56,113,123,186,232],"finite":[22,48,97,153],"1":[28,32,54,58,62,106,133,162,166,190,198],"\u2260":[34,52,60,131,160,168],".":[38,64,238],"give":[40],"further":[42],"example":[43,86,253],"Together":[65],"result":[68],"from":[69],"[10]":[70],"this":[71,118,250],"implies":[72],"for":[74,95,142,202,286],"each":[75],"possibility":[76],"versus":[79],"NP":[80],"over":[81],"structures":[82,284],"an":[85,252],"signature.":[90],"Then":[91],"we":[92,139,272],"some":[96],"the":[98,125,156,173,187,241,255,276],"class":[99,119,126,242],"-structures":[101,128],"not":[109,121,136],"closed":[110],"under":[111],"ultraproducts":[112],"obtain":[114],"as":[115],"corollaries":[116],"\u2206-elementary":[122],"elementary.":[137],"Finally":[138],"prove":[140],"all":[143,146],"\u0192":[144],"dominating":[145],"polynomials":[147],"following":[157],"properties:":[158],",":[164,172,205,231],"levels":[174,188],"TIME":[177,191,215],"(":[178,192,208,216],"n":[179,193,209,217],"i":[180,194,204,218,221,224],")":[181,195,211,219],"are":[200],"different":[201,203],"indeed":[206],"DTIME":[207],"i\u2032":[210],"\u2288":[212,227,236],"if":[220],"\u2032":[222],"&gt;":[223],";":[225],"DTIME(\u0192)":[226],"DEC":[237,239],"recognizable":[244,247],"sets":[245],"complements.":[248],"So":[249],"where":[254],"internal":[256],"analyzed":[263],"in":[264,275],"more":[266],"detailed":[267],"way.":[268],"In":[269],"our":[270],"proofs":[271],"use":[273,288],"methods":[274],"style":[277],"classical":[279],"computability":[280],"theory":[281],"to":[282],"construct":[283],"except":[285],"one":[287],"ultraproducts.":[290]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2016-06-24T00:00:00"}