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

DOI10.1016/J.APAL.2016.04.015MaRDI QIDQ306575zbMATHOpenAlexFDO

Authors Cameron Donnay Hill

Publication date 31 August 2016

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.2016.04.015

zbMATH Keywords

rosy theoriesalgorithmic meta-theoremscoordinatizationfinite structuresFraisse classeshierarchical decomposition

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Classification theory, stability, and related concepts in model theory (03C45) Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• Super/rosy \(L^k\)-theories and classes of finite structures
• Reducts of Ramsey structures
• Definability in classes of finite structures
• Finite Model Theory on Tame Classes of Structures
• scientific article; zbMATH DE number 1361526

Cites work

• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• A geometric introduction to forking and thorn-forking
• A new strongly minimal set
• A simpler axiomatization of the Shelah-Spencer almost sure theories
• Algorithmic Meta-theorems
• Characterizing rosy theories
• Computing with first-order logic
• Finite satisfiability and ℵ₀-categorical structures with trivial dependence
• Graph minor theory
• Identifying independence in bayesian networks
• Interpreting nowhere dense graph classes as a classical notion of model theory
• On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry
• On generic structures
• Pattern recognition and machine learning.
• Properties and consequences of Thorn-independence
• Rank-width and vertex-minors
• Super/rosy \(L^k\)-theories and classes of finite structures
• The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
• Thorn orthogonality and domination in unstable theories

Cited in

(2)

• Super/rosy \(L^k\)-theories and classes of finite structures
• On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry

Describes a project that uses

Uses Software

• PRMLT

This page was built for publication: On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q306575)