{"id":"https://openalex.org/W2133854625","doi":"https://doi.org/10.1305/ndjfl/1038234608","title":"Complexity of the $r$-query Tautologies in the Presence of a Generic Oracle","display_name":"Complexity of the $r$-query Tautologies in the Presence of a Generic Oracle","publication_year":2000,"publication_date":"2000-04-01","ids":{"openalex":"https://openalex.org/W2133854625","doi":"https://doi.org/10.1305/ndjfl/1038234608","mag":"2133854625"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1038234608","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1038234608","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-41/issue-2/Complexity-of-the-r-query-Tautologies-in-the-Presence-of/10.1305/ndjfl/1038234608.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-41/issue-2/Complexity-of-the-r-query-Tautologies-in-the-Presence-of/10.1305/ndjfl/1038234608.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040784460","display_name":"Toshio Suzuki","orcid":"https://orcid.org/0000-0002-7237-2650"},"institutions":[{"id":"https://openalex.org/I15807432","display_name":"Osaka Prefecture University","ror":"https://ror.org/02cf1je33","country_code":"JP","type":"education","lineage":["https://openalex.org/I15807432"]},{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]}],"countries":["JP","US"],"is_corresponding":true,"raw_author_name":"Toshio Suzuki","raw_affiliation_strings":["Osaka Prefecture University Sakai Osaka 599-8531 JAPAN","University of Notre Dame Department of Mathematics and Information Sciences"],"affiliations":[{"raw_affiliation_string":"Osaka Prefecture University Sakai Osaka 599-8531 JAPAN","institution_ids":["https://openalex.org/I15807432"]},{"raw_affiliation_string":"University of Notre Dame Department of Mathematics and Information Sciences","institution_ids":["https://openalex.org/I107639228"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5040784460"],"corresponding_institution_ids":["https://openalex.org/I107639228","https://openalex.org/I15807432"],"apc_list":null,"apc_paid":null,"fwci":0.9369,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.77806499,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"41","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9995999932289124,"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.9995999932289124,"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.9962999820709229,"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/T11567","display_name":"semigroups and automata theory","score":0.9943000078201294,"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/oracle","display_name":"Oracle","score":0.7220602631568909},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5880022644996643},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5396549701690674},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.5109524130821228},{"id":"https://openalex.org/keywords/lebesgue-measure","display_name":"Lebesgue measure","score":0.5086501836776733},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5018899440765381},{"id":"https://openalex.org/keywords/arithmetic-function","display_name":"Arithmetic function","score":0.48633676767349243},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.45662084221839905},{"id":"https://openalex.org/keywords/random-oracle","display_name":"Random oracle","score":0.43143540620803833},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.30240315198898315},{"id":"https://openalex.org/keywords/lebesgue-integration","display_name":"Lebesgue integration","score":0.2333972156047821}],"concepts":[{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7220602631568909},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5880022644996643},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5396549701690674},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5109524130821228},{"id":"https://openalex.org/C2777105136","wikidata":"https://www.wikidata.org/wiki/Q827230","display_name":"Lebesgue measure","level":3,"score":0.5086501836776733},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5018899440765381},{"id":"https://openalex.org/C112343008","wikidata":"https://www.wikidata.org/wiki/Q140744","display_name":"Arithmetic function","level":2,"score":0.48633676767349243},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.45662084221839905},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.43143540620803833},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.30240315198898315},{"id":"https://openalex.org/C14158598","wikidata":"https://www.wikidata.org/wiki/Q853831","display_name":"Lebesgue integration","level":2,"score":0.2333972156047821},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.0},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"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/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1305/ndjfl/1038234608","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1038234608","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-41/issue-2/Complexity-of-the-r-query-Tautologies-in-the-Presence-of/10.1305/ndjfl/1038234608.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1038234608","is_oa":false,"landing_page_url":"https://projecteuclid.org/euclid.ndjfl/1038234608","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.542.6727","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.542.6727","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ac.auone-net.jp/~bellp/toshio_suzuki_ndjfl41_2000.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1305/ndjfl/1038234608","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1038234608","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-41/issue-2/Complexity-of-the-r-query-Tautologies-in-the-Presence-of/10.1305/ndjfl/1038234608.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2133854625.pdf","grobid_xml":"https://content.openalex.org/works/W2133854625.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W3932255","https://openalex.org/W1542856213","https://openalex.org/W1583167790","https://openalex.org/W1972416792","https://openalex.org/W1973386461","https://openalex.org/W1992440350","https://openalex.org/W1993138363","https://openalex.org/W2037181336","https://openalex.org/W2058052847","https://openalex.org/W2062767125","https://openalex.org/W2065227285","https://openalex.org/W2075242512","https://openalex.org/W2115456387","https://openalex.org/W2127627097","https://openalex.org/W2170377962","https://openalex.org/W2286900275","https://openalex.org/W4213174560","https://openalex.org/W4244516892"],"related_works":["https://openalex.org/W2000071592","https://openalex.org/W1660676450","https://openalex.org/W1586473494","https://openalex.org/W2382181079","https://openalex.org/W2125955092","https://openalex.org/W2119550093","https://openalex.org/W2074726530","https://openalex.org/W582971654","https://openalex.org/W2861978802","https://openalex.org/W4302408721"],"abstract_inverted_index":{"Extending":[0],"techniques":[1],"of":[2,6,12,34,48,54,57,70,75,92,109,116],"Dowd":[3],"and":[4,29],"those":[5],"Poizat,":[7],"we":[8,81,104],"study":[9,67],"computational":[10],"complexity":[11],"$r\\mathit{TAUT}[A]$":[13,30],"in":[14,96],"the":[15,32,46,97,110,114],"case":[16],"when":[17],"$A$":[18],"is":[19,25,88,94],"a":[20,26,52,76,90],"generic":[21,77],"oracle,":[22,78],"where":[23],"$r$":[24],"positive":[27],"integer,":[28],"denotes":[31],"collection":[33],"all":[35,117],"$r$-query":[36],"tautologies":[37],"with":[38],"respect":[39],"to":[40,60],"an":[41,106],"oracle":[42],"$A$.":[43],"We":[44,66],"introduce":[45],"notion":[47,56],"ceiling-generic":[49,71,102],"oracles,":[50,103],"as":[51],"generalization":[53],"Dowd's":[55],"$t$-generic":[58,118],"oracles":[59,72,119],"arbitrary":[61],"finitely":[62],"testable":[63],"arithmetical":[64],"predicates.":[65],"how":[68],"existence":[69],"affects":[73],"behavior":[74],"by":[79],"which":[80],"show":[82],"that":[83,113],"$\\{":[84],"X:":[85],"co\\mathit{NP}[X]":[86],"$":[87],"not":[89],"subset":[91],"$\\mathit{NP}[r\\mathit{TAUT}[X]]\\}$":[93],"comeager":[95],"Cantor":[98],"space.":[99],"Moreover,":[100],"using":[101],"present":[105],"alternative":[107],"proof":[108],"fact":[111],"(Dowd)":[112],"class":[115],"has":[120],"Lebesgue":[121],"measure":[122],"zero.":[123]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}