Gaifman locality theorem

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo finite structures
infinite structures
gptkbp:describes locality of first-order logic
gptkbp:field gptkb:logic
gptkb:finite_model_theory
https://www.w3.org/2000/01/rdf-schema#label Gaifman locality theorem
gptkbp:namedAfter gptkb:Haim_Gaifman
gptkbp:publishedIn 1964
gptkbp:state first-order logic properties are local
gptkbp:usedIn database theory
descriptive complexity theory
gptkbp:bfsParent gptkb:Haim_Gaifman
gptkbp:bfsLayer 5