scientific article; zbMATH DE number 5262135

MaRDI QIDQ5458154zbMATH OpenFDO

Authors Anand Pillay

Publication date 11 April 2008

zbMATH Keywords

quantifier eliminationquantifier-free coheirs of quantifier-free typesquantifier-free heirs of quantifier-free types

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• TOWARDS A THEORY OF DEFINABLE SETS
• Externally definable sets and dependent pairs
• Externally definable sets and dependent pairs. II
• On the countable definability of sets
• On external constructions in internal set theory
• Definable Sets in Generic Structures and their Cardinalities
• scientific article; zbMATH DE number 1264815
• scientific article; zbMATH DE number 1420850
• scientific article; zbMATH DE number 4070892
• Definable sets and expansions of models of Peano arithmetic

Cited in

(5)

• Some themes around first order theories without the independence property
• Externally definable sets and dependent pairs
• On compactifications and the topological dynamics of definable groups
• Elementary classes of finite VC-dimension
• A.D. Taimanov and model theory in Kazakhstan

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 Q5458154)