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