The past and future of embedded finite model theory
From MaRDI portal
Publication:6173101
DOI10.1007/978-3-031-19135-0_3OpenAlexW4312254671MaRDI QIDQ6173101
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
Cites Work
- Model theory.
- Extended order-generic queries
- Domain independence and the relational calculus
- Distal and non-distal NIP theories
- The elementary theory of finite fields
- New results on quantifier elimination over real closed fields and applications to constraint databases
- Definable relations and first-order query languages over strings
- Relational queries over interpreted structures
- A characterization of first-order topological properties of planar spatial data
- First-Order Queries on Finite Structures Over the Reals
- Stability theory, permutations of indiscernibles, and embedded finite models
- Pseudo-finite homogeneity and saturation
- A Guide to NIP Theories
- On first-order topological queries
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The past and future of embedded finite model theory
