arXiv:1804.05331 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords logic blog, quantum algorithmic version, somewhat shorter, computable model theory, open questions Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset