An existential locality theorem
type: Item
instance of: scholarly article
title: An existential locality theorem
zbMATH Open document ID: 1056.03017
author: Martin Grohe
author: Stefan Wöhrle
published in: Annals of Pure and Applied Logic
publication date: 2004-11-22T00:00:00Z
Mathematics Subject Classification ID: 03C13
Mathematics Subject Classification ID: 68Q19
zbMATH DE Number: 2117328
zbMATH Keywords: Finite model theory
zbMATH Keywords: Descriptive complexity
zbMATH Keywords: Locality
zbMATH Keywords: Existential first-order logic
MaRDI profile type: Publication
full work available at URL: j.apal.2004.01.005
OpenAlex ID: W1983533869
cites work: On the computational power of pushdown automata
cites work: A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
cites work: Q4947393
cites work: Local properties of query languages
cites work: Q4503944
cites work: Q4217593
cites work: Q4255575
cites work: Diameter and treewidth in minor-closed graph families
cites work: Query evaluation via tree-decompositions
cites work: Deciding first-order properties of locally tree-decomposable structures
cites work: Q3666827
cites work: Logics with aggregate operators
cites work: Notions of locality and their logical characterizations over finite models
cites work: Logics with counting and local properties
cites work: Graph minors. III. Planar tree-width
cites work: Q4385524
DOI: 10.1016/J.APAL.2004.01.005
Recommended article: Q4783304
Recommended article: A logical theory of localization
Recommended article: Localizing the axioms
Recommended article: Local deductions theorems
Recommended article: Q4206946
Recommended article: A Godement theorem for locales
Recommended article: An Impossibility Result in Axiomatic Location Theory
Recommended article: Locally finite theories
Recommended article: Locality in theory space
Recommended article: Q3473887
description: scientific article; zbMATH DE number 2117328