scientific article; zbMATH DE number 5038454

MaRDI QIDQ5477350zbMATH OpenFDO

Authors Michael Benedikt

Publication date 3 July 2006

zbMATH Keywords

abstract complexitydecision proceduresfirst-order queriesquery languagesquerying finite structuresspatial databasessurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model theory of finite structures (03C13) Database theory (68P15) Descriptive complexity and finite models (68Q19)

Recommendations

• scientific article; zbMATH DE number 803291
• Finite Model Theory
• scientific article; zbMATH DE number 176207
• A generalization of abstract model theory
• Some Aspects of Model Theory and Finite Structures
• Infinitary Methods in Finite Model Theory
• scientific article; zbMATH DE number 2208072
• Application of a Tauberian theorem to finite model theory
• Finite Model Theory on Tame Classes of Structures

Cited in

(17)

• Categoricity and generalized model completeness
• Metafinite model theory
• Model Complete Generic Structures
• scientific article; zbMATH DE number 4012586 (Why is no real title available?)
• Extendability of Functions on Models of ZFFin
• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 1163932 (Why is no real title available?)
• scientific article; zbMATH DE number 1515856 (Why is no real title available?)
• scientific article; zbMATH DE number 1563658 (Why is no real title available?)
• Some Aspects of Model Theory and Finite Structures
• On the complexity of model expansion
• scientific article; zbMATH DE number 1392296 (Why is no real title available?)
• Genericity for Mathias forcing over general Turing ideals
• Database Theory - ICDT 2005
• scientific article; zbMATH DE number 2208072 (Why is no real title available?)
• The past and future of embedded finite model theory
• Finite model theory and its applications.

This page was built for publication:

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