Super/rosy \(L^k\)-theories and classes of finite structures

DOI10.1016/j.apal.2013.04.003zbMath1310.03046OpenAlexW2025073006MaRDI QIDQ385799

Cameron Donnay Hill

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

zbMATH Keywords

amalgamationthorn-forkingfinite structuresfinite-variable logicrosy theorythorn-indpendence

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Classification theory, stability, and related concepts in model theory (03C45)

Related Items (1)

On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry

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 ℵ₀-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 L_n
• Characterizing rosy theories
• Properties and consequences of Thorn-independence

This page was built for publication: Super/rosy \(L^k\)-theories and classes of finite structures