Super/rosy \(L^k\)-theories and classes of finite structures
From MaRDI portal
Publication:385799
DOI10.1016/j.apal.2013.04.003zbMath1310.03046MaRDI QIDQ385799
Publication date: 11 December 2013
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2013.04.003
amalgamation; thorn-forking; finite structures; finite-variable logic; rosy theory; thorn-indpendence
03C13: Model theory of finite structures
03C45: Classification theory, stability, and related concepts in model theory
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Elements of finite model theory.
- Canonization for two variables and puzzles on the square
- Amalgamation properties and finite models in \(L^n\)-theories
- Computing with first-order logic
- On stability in finite models
- Large finite structures with few \(L^k\)-types
- Finite variable logic, stability and finite models
- Finite satisfiability and ℵ0-categorical structures with trivial dependence
- A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
- The graph isomorphism disease
- Deux ou trois choses que je sais de Ln
- Characterizing rosy theories
- Properties and consequences of Thorn-independence