{"id":"https://openalex.org/W4384344691","doi":"https://doi.org/10.1109/lics56636.2023.10175694","title":"Pseudorandom Finite Models","display_name":"Pseudorandom Finite Models","publication_year":2023,"publication_date":"2023-06-26","ids":{"openalex":"https://openalex.org/W4384344691","doi":"https://doi.org/10.1109/lics56636.2023.10175694"},"language":"en","primary_location":{"id":"doi:10.1109/lics56636.2023.10175694","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/lics56636.2023.10175694","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-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/A5059825938","display_name":"Jan Dreier","orcid":"https://orcid.org/0000-0002-2662-5303"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]},{"id":"https://openalex.org/I4210112164","display_name":"Complexity Science Hub","ror":"https://ror.org/023dz9m50","country_code":"AT","type":"nonprofit","lineage":["https://openalex.org/I4210112164"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Jan Dreier","raw_affiliation_strings":["TU Wien,Algorithms and Complexity Group,Vienna,Austria","Algorithms and Complexity Group, TU Wien, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien,Algorithms and Complexity Group,Vienna,Austria","institution_ids":["https://openalex.org/I4210112164","https://openalex.org/I145847075"]},{"raw_affiliation_string":"Algorithms and Complexity Group, TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035370064","display_name":"Jamie Tucker-Foltz","orcid":"https://orcid.org/0000-0001-9174-3341"},"institutions":[{"id":"https://openalex.org/I136199984","display_name":"Harvard University","ror":"https://ror.org/03vek6s52","country_code":"US","type":"education","lineage":["https://openalex.org/I136199984"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jamie Tucker-Foltz","raw_affiliation_strings":["Harvard University,School of Engineering and Applied Sciences,Allston,MA,USA","School of Engineering and Applied Sciences, Harvard University, Allston, MA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Harvard University,School of Engineering and Applied Sciences,Allston,MA,USA","institution_ids":["https://openalex.org/I136199984"]},{"raw_affiliation_string":"School of Engineering and Applied Sciences, Harvard University, Allston, MA, USA","institution_ids":["https://openalex.org/I136199984"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1863,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53193899,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"86","issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9994999766349792,"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.9994999766349792,"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.996399998664856,"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/T11321","display_name":"Error Correcting Code Techniques","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/pseudorandomness","display_name":"Pseudorandomness","score":0.8290575742721558},{"id":"https://openalex.org/keywords/pseudorandom-number-generator","display_name":"Pseudorandom number generator","score":0.7108355164527893},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5758962035179138},{"id":"https://openalex.org/keywords/second-order-logic","display_name":"Second-order logic","score":0.5493029952049255},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5105396509170532},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3801075220108032},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36581259965896606},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35915517807006836},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.19893616437911987},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.17440998554229736}],"concepts":[{"id":"https://openalex.org/C19086982","wikidata":"https://www.wikidata.org/wiki/Q2115856","display_name":"Pseudorandomness","level":3,"score":0.8290575742721558},{"id":"https://openalex.org/C140642157","wikidata":"https://www.wikidata.org/wiki/Q1623338","display_name":"Pseudorandom number generator","level":2,"score":0.7108355164527893},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5758962035179138},{"id":"https://openalex.org/C144791301","wikidata":"https://www.wikidata.org/wiki/Q1548746","display_name":"Second-order logic","level":4,"score":0.5493029952049255},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5105396509170532},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3801075220108032},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36581259965896606},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35915517807006836},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.19893616437911987},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.17440998554229736}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lics56636.2023.10175694","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/lics56636.2023.10175694","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4000000059604645,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W141594494","https://openalex.org/W1489366126","https://openalex.org/W1605337124","https://openalex.org/W1639593279","https://openalex.org/W1979863880","https://openalex.org/W1985072883","https://openalex.org/W1989783863","https://openalex.org/W2007983321","https://openalex.org/W2015880590","https://openalex.org/W2029948740","https://openalex.org/W2033233376","https://openalex.org/W2088094394","https://openalex.org/W2129939288","https://openalex.org/W2138556324","https://openalex.org/W2154799668","https://openalex.org/W2570749142","https://openalex.org/W2996910805","https://openalex.org/W3127113455","https://openalex.org/W3174938715","https://openalex.org/W4205823744","https://openalex.org/W4235239597","https://openalex.org/W4235934183","https://openalex.org/W4236835455","https://openalex.org/W4242244429","https://openalex.org/W4252933876","https://openalex.org/W4298227433","https://openalex.org/W6605655546","https://openalex.org/W6609600146","https://openalex.org/W6789738865"],"related_works":["https://openalex.org/W2082419723","https://openalex.org/W4241950541","https://openalex.org/W3203585077","https://openalex.org/W2176553175","https://openalex.org/W2185337847","https://openalex.org/W2143898630","https://openalex.org/W1994207320","https://openalex.org/W3087294829","https://openalex.org/W2343905204","https://openalex.org/W2077146536"],"abstract_inverted_index":{"We":[0,85],"study":[1],"pseudorandomness":[2],"and":[3,18,35,102,108,112],"pseudorandom":[4,83],"generators":[5],"from":[6,15,42,70],"the":[7,58],"perspective":[8],"of":[9,48,60,90],"logical":[10,68,80],"definability.":[11],"Building":[12],"on":[13],"results":[14,111],"ordinary":[16],"derandomization":[17],"finite":[19],"model":[20],"theory,":[21],"we":[22],"show":[23],"that":[24,38],"it":[25],"is":[26,93],"possible":[27,94],"to":[28],"deterministically":[29],"construct,":[30],"in":[31],"polynomial":[32],"time,":[33],"graphs":[34],"relational":[36],"structures":[37,44,72],"are":[39],"statistically":[40],"indistinguishable":[41],"random":[43],"by":[45],"any":[46],"sentence":[47],"first":[49,96,115],"order":[50,97,116],"or":[51],"least":[52],"fixed":[53,99,103],"point":[54,100,104],"logics.":[55],"This":[56],"raises":[57],"question":[59],"whether":[61],"such":[62],"constructions":[63],"can":[64,79],"be":[65,82],"implemented":[66],"via":[67],"transductions":[69],"simpler":[71],"with":[73,106,118],"less":[74],"entropy.":[75],"In":[76],"other":[77],"words,":[78],"formulas":[81],"generators?":[84],"provide":[86,109],"a":[87],"complete":[88],"classification":[89],"when":[91],"this":[92],"for":[95,114],"logic,":[98,101],"logic":[105,117],"parity,":[107],"partial":[110],"conjectures":[113],"parity.":[119]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}