2 research outputs found
ON WEAK ELIMINATION OF IMAGINARIES, AN APPENDIX OF CASANOVAS AND FARRE'S PAPER AND BASIC EXAMPLES (Model theoretic aspects of the notion of independence and dimension)
We give an explicit proof of Fact 2.2.2 in [CF]. And we give basic examples related to (full)/weak/geometric elimination of imaginaries