On lovely pairs and the \((\exists y\in P)\) quantifier
From MaRDI portal
Publication:817964
DOI10.1305/ndjfl/1134397664zbMath1097.03025OpenAlexW1991738673MaRDI QIDQ817964
Evgueni Vassiliev, Anand Pillay
Publication date: 23 March 2006
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1134397664
Classification theory, stability, and related concepts in model theory (03C45) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (3)
Weakly one-based geometric theories ⋮ Geometric structures with a dense independent subset ⋮ A.D. Taimanov and model theory in Kazakhstan
Cites Work
This page was built for publication: On lovely pairs and the \((\exists y\in P)\) quantifier