{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:33:20Z","timestamp":1730280800005,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,26]]},"DOI":"10.1109\/lics56636.2023.10175804","type":"proceedings-article","created":{"date-parts":[[2023,7,14]],"date-time":"2023-07-14T17:18:23Z","timestamp":1689355103000},"page":"1-13","source":"Crossref","is-referenced-by-count":0,"title":["Embedded Finite Models beyond Restricted Quantifier Collapse"],"prefix":"10.1109","author":[{"given":"Michael","family":"Benedikt","sequence":"first","affiliation":[{"name":"University of Oxford,Department of Computer Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ehud","family":"Hrushovski","sequence":"additional","affiliation":[{"name":"University of Oxford,Mathematical Institute,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Definability patterns and their symmetries","year":"2019","author":"hrushovski","key":"ref13"},{"key":"ref12","article-title":"Countable homogeneous relational structures and ?0-categorical theories","volume":"37","author":"henson","year":"1972","journal-title":"JSL"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574"},{"journal-title":"Embedded finite models beyond restricted quantifier collapse","year":"2023","author":"benedikt","key":"ref14"},{"journal-title":"Notes on the model theory of finite and pseudo-finite fields","year":"2018","author":"chatazadakis","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00096-3"},{"key":"ref11","article-title":"Externally definable sets and dependent pairs: II","author":"simon","year":"2015","journal-title":"TAMS"},{"journal-title":"A note on stability and NIP in one variable","year":"2021","author":"simon","key":"ref10"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2017.10.002"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1201\/9781439865835-1"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/347476.347477"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107415133"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525919"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF01213204"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s2-45.2.377"},{"journal-title":"Field Arithmetic","year":"2008","author":"fried","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(80)90048-1"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-07-04382-6"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-3002-0"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38536-0_10"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.disc.2011.01.024"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.01.009"},{"journal-title":"Algorithms in Real Algebraic Geometry","year":"2006","author":"basu","key":"ref28"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.2307\/1971045"},{"key":"ref29","first-page":"107","article-title":"Definable sets over finite fields","volume":"427","author":"chatzidakis","year":"1992","journal-title":"Journal fur die reine und angewandte Mathematik"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-00-02672-6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(98)00025-6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2307\/1970573"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1137\/S009753979629766"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-68804-8_5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.2307\/2695097"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2307\/2586806"}],"event":{"name":"2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2023,6,26]]},"location":"Boston, MA, USA","end":{"date-parts":[[2023,6,29]]}},"container-title":["2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10175635\/10175671\/10175804.pdf?arnumber=10175804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T17:59:17Z","timestamp":1690912757000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10175804\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,26]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/lics56636.2023.10175804","relation":{},"subject":[],"published":{"date-parts":[[2023,6,26]]}}}