On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry
type: Item
instance of: scholarly article
title: On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry
zbMATH Open document ID: 1417.03230
author: Cameron Donnay Hill
published in: Annals of Pure and Applied Logic
publication date: 2016-08-31T00:00:00Z
Mathematics Subject Classification ID: 03C45
Mathematics Subject Classification ID: 03C13
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 6621133
zbMATH Keywords: rosy theories
zbMATH Keywords: finite structures
zbMATH Keywords: Fraisse classes
zbMATH Keywords: coordinatization
zbMATH Keywords: hierarchical decomposition
zbMATH Keywords: algorithmic meta-theorems
describes a project that uses: PRMLT
MaRDI profile type: Publication
full work available at URL: j.apal.2016.04.015
OpenAlex ID: W2343884603
cites work: Computing with first-order logic
cites work: A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
cites work: Interpreting nowhere dense graph classes as a classical notion of model theory
cites work: Q5483032
cites work: The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
cites work: Finite satisfiability and ℵ0-categorical structures with trivial dependence
cites work: Characterizing rosy theories
cites work: Identifying independence in bayesian networks
cites work: Super/rosy \(L^k\)-theories and classes of finite structures
cites work: Q4003410
cites work: A new strongly minimal set
cites work: Algorithmic Meta-theorems
cites work: On generic structures
cites work: A simpler axiomatization of the Shelah-Spencer almost sure theories
cites work: Graph minor theory
cites work: Properties and consequences of Thorn-independence
cites work: Thorn orthogonality and domination in unstable theories
cites work: Rank-width and vertex-minors
DOI: 10.1016/J.APAL.2016.04.015
description: scientific article; zbMATH DE number 6621133