Syntax vs. semantics on finite structures
Many of the preservation theorems of classical model theory break down when one restricts attention to finite models. The authors write: ``In such a case, one may attempt to find a new semantical characterization of the old syntactical property or a new syntactical characterization of the old semantical property. The goal of this paper is to provoke such a study. Among others, the paper contains semantical characterizations of the classes of finite structures axiomatizable by existential sentences and of the classes axiomatizable by positive existential sentences. For the entire collection see [Zbl 0868.00014].
- The many faces of interpolation
- A note on syntactical and semantical functions
- Axiomatisability and hardness for universal Horn classes of hypergraphs
- The theory of finite models without equal sign
- scientific article; zbMATH DE number 4061212 (Why is no real title available?)
- scientific article; zbMATH DE number 176207 (Why is no real title available?)
- Syntactic structures and recursive devices: a legacy of imprecision
- Action of endomorphism semigroups on definable sets
- scientific article; zbMATH DE number 6866317 (Why is no real title available?)
- Additive first-order queries
- Syntax versus semantics in knowledge bases II
- Positive First-order Logic on Words and Graphs
- Forbidden induced subgraphs and the Łoś-Tarski theorem
This page was built for publication: Syntax vs. semantics on finite structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4362725)
