{"id":"https://openalex.org/W2007053458","doi":"https://doi.org/10.1137/0213025","title":"The Spectra of First-Order Sentences and Computational Complexity","display_name":"The Spectra of First-Order Sentences and Computational Complexity","publication_year":1984,"publication_date":"1984-05-01","ids":{"openalex":"https://openalex.org/W2007053458","doi":"https://doi.org/10.1137/0213025","mag":"2007053458"},"language":"en","primary_location":{"id":"doi:10.1137/0213025","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0213025","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","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/A5008969654","display_name":"\u00c9tienne Grandjean","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Etienne Grandjean","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5008969654"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.1715,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.87248708,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"13","issue":"2","first_page":"356","last_page":"373"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.34549999237060547,"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.34549999237060547,"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.2851000130176544,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.18729999661445618,"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/mathematics","display_name":"Mathematics","score":0.7017368078231812},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.6754920482635498},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6621537208557129},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5400998592376709},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.517697811126709},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.50383061170578},{"id":"https://openalex.org/keywords/spectrum","display_name":"Spectrum (functional analysis)","score":0.49042436480522156},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4735229015350342},{"id":"https://openalex.org/keywords/dtime","display_name":"DTIME","score":0.4606615900993347},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.4492562413215637},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4330378770828247},{"id":"https://openalex.org/keywords/non-deterministic-turing-machine","display_name":"Non-deterministic Turing machine","score":0.43280303478240967},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.12940746545791626},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1275484561920166},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09431421756744385},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.05908405780792236}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7017368078231812},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.6754920482635498},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6621537208557129},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5400998592376709},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.517697811126709},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.50383061170578},{"id":"https://openalex.org/C156778621","wikidata":"https://www.wikidata.org/wiki/Q1365748","display_name":"Spectrum (functional analysis)","level":2,"score":0.49042436480522156},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4735229015350342},{"id":"https://openalex.org/C15547884","wikidata":"https://www.wikidata.org/wiki/Q1155831","display_name":"DTIME","level":5,"score":0.4606615900993347},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.4492562413215637},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4330378770828247},{"id":"https://openalex.org/C15190523","wikidata":"https://www.wikidata.org/wiki/Q1190223","display_name":"Non-deterministic Turing machine","level":5,"score":0.43280303478240967},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.12940746545791626},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1275484561920166},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09431421756744385},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.05908405780792236},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1137/0213025","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0213025","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-00254873v1","is_oa":false,"landing_page_url":"https://hal.science/hal-00254873","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SIAM Journal on Computing, 1984, 13, pp.356-373","raw_type":"Journal articles"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4099999964237213,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1980879781","https://openalex.org/W1984581643","https://openalex.org/W1986188250","https://openalex.org/W1996834809","https://openalex.org/W2004663163","https://openalex.org/W2043507528","https://openalex.org/W2044122859","https://openalex.org/W2045664183","https://openalex.org/W2080220005","https://openalex.org/W2082778556","https://openalex.org/W2125495920"],"related_works":["https://openalex.org/W4226247106","https://openalex.org/W2070488416","https://openalex.org/W2168431435","https://openalex.org/W4387774848","https://openalex.org/W2079690754","https://openalex.org/W2059442002","https://openalex.org/W2950005723","https://openalex.org/W1526571572","https://openalex.org/W2035025857","https://openalex.org/W3207919203"],"abstract_inverted_index":{"The":[0],"spectrum":[1,139],"of":[2,9,11,23,28,48,50,65,119,123,135,140],"a":[3,112,116,120,141],"first-order":[4],"sentence":[5,143],"is":[6,137],"the":[7,17,21,26,46,92,133,138],"set":[8,64,134],"cardinalities":[10],"its":[12],"finite":[13],"models.":[14],"We":[15,129],"refine":[16],"well-known":[18],"equality":[19],"between":[20],"class":[22,27,47],"spectra":[24,49],"and":[25,62],"sets":[29],"(of":[30],"positive":[31,66],"integers)":[32],"accepted":[33],"by":[34],"nondeterministic":[35,101],"Turing":[36,102],"machines":[37],"in":[38],"polynomial":[39],"time.":[40],"Let":[41],"$\\operatorname{Sp}":[42],"(d\\forall":[43,80],")$":[44],"denote":[45],"sentences":[51],"with":[52,144],"d":[53],"universal":[54],"quantifiers.":[55],"For":[56],"any":[57],"integer":[58],"$d":[59],"\\geqq":[60],"2$":[61],"each":[63],"integers,":[67],"A,":[68],"we":[69,98,114],"obtain:":[70],"\\[":[71],"A":[72,78,83],"\\in":[73,84],"\\operatorname{NTIME}":[74,85],"(n^d":[75,86],")":[76,81],"\\to":[77,82],"\\operatorname{Sp}":[79],"(\\log":[87],"n)^2":[88],").":[89],"\\]":[90],"Further":[91],"first":[93],"implication":[94],"holds":[95],"even":[96],"if":[97],"use":[99],"multidimensional":[100],"machines.":[103],"These":[104],"results":[105],"hold":[106],"similarly":[107],"for":[108],"generalized":[109],"spectra.":[110,128],"As":[111],"consequence,":[113],"obtain":[115],"simplified":[117],"proof":[118],"hierarchy":[121],"result":[122],"P.":[124],"Pudl\u00e1k":[125],"about":[126],"(generalized)":[127],"also":[130],"prove":[131],"that":[132],"primes":[136],"certain":[142],"only":[145],"one":[146],"variable.":[147]},"counts_by_year":[{"year":2015,"cited_by_count":2},{"year":2014,"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"}