A model theory approach to structural limits

Commentationes mathematicae Universitatis Carolinae

Jaroslav Nešetřil¹ 

关键词: graph;    graph limits;    model theory;    first-order logic;   

DOI  :  

学科分类：物理化学和理论化学

来源: Univerzita Karlova v Praze * Matematicko-Fyzikalni Fakulta / Charles University in Prague, Faculty of Mathematics and Physics

【 摘 要 】

The goal of this paper is to unify two lines in a particular area of graph limits. First, we generalize and provide unified treatment of various graph limit concepts by means of a combination of model theory and analysis. Then, as an example, we generalize limits of bounded degree graphs from subgraph testing to finite model testing.

【 授权许可】

CC BY