The past and future of embedded finite model theory

DOI10.1007/978-3-031-19135-0_3MaRDI QIDQ6173101zbMATH OpenOpenAlexFDO

Authors Michael Benedikt

Publication date 21 July 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-19135-0_3

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A characterization of first-order topological properties of planar spatial data
• A Guide to NIP Theories
• Definable relations and first-order query languages over strings
• Distal and non-distal NIP theories
• Domain independence and the relational calculus
• Extended order-generic queries
• First-Order Queries on Finite Structures Over the Reals
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 1425669 (Why is no real title available?)
• scientific article; zbMATH DE number 5038454 (Why is no real title available?)
• Model theory.
• New results on quantifier elimination over real closed fields and applications to constraint databases
• On first-order topological queries
• Pseudo-finite homogeneity and saturation
• Relational queries over interpreted structures
• Stability theory, permutations of indiscernibles, and embedded finite models
• The elementary theory of finite fields

This page was built for publication: The past and future of embedded finite model theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6173101)