scientific article; zbMATH DE number 5262135
From MaRDI portal
Publication:5458154
zbMath1135.03337MaRDI QIDQ5458154
Publication date: 11 April 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
quantifier eliminationquantifier-free coheirs of quantifier-free typesquantifier-free heirs of quantifier-free types
Related Items (5)
On compactifications and the topological dynamics of definable groups ⋮ Externally definable sets and dependent pairs ⋮ Elementary classes of finite VC-dimension ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ Some Themes Around First Order Theories Without the Independence Property
This page was built for publication:
