Answer by Alex Kruckman for Alternative definition of (weak) elimination of...
$\newcommand{\dcl}{\mathrm{dcl}} \newcommand{\acl}{\mathrm{acl}} \newcommand{\eq}{\mathrm{eq}} \newcommand{\tp}{\mathrm{tp}}$You're exactly right: Chatzidakis's condition 1 is not equivalent to EI....
View ArticleAlternative definition of (weak) elimination of imaginaries?
I was glancing at this paper of Chatzidakis and became a bit confused by the definitions of (weak) elimination of imaginaries given in it. Fix a complete theory $T$ and a monster model $\mathfrak{U}$;...
View Article
More Pages to Explore .....