Pseudofinite homogeneity, isolation, and reducibility

DOI10.1134/S0001434607030224zbMath1133.03016MaRDI QIDQ2473726

Sergey M. Dudakov

Publication date: 4 March 2008

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

query languagerelational databasereducible modelfirst and second pseudofinite homogeneity propertiesorder collapse propertysecond isolation property

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Applications of model theory (03C98)

Related Items (1)

On inflationary fix-point operators safety

Cites Work

• A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition.
• Computable queries for relational data bases
• Extended order-generic queries
• Stability theory, permutations of indiscernibles, and embedded finite models
• The collapse theorem for theories ofI-reducible algebraic systems
• Collapse results for query languages in database theory
• A relational model of data for large shared data banks
• A general condition for collapse results

This page was built for publication: Pseudofinite homogeneity, isolation, and reducibility