Abstract
We give an axiomatic framework for the non-modular simple $\aleph_0$-categorical structures constructed by Hrushovski. This allows us to verify some of their properties (weak elimination of imaginaries, simplicity, the nature of forking, CM-triviality and stable forking) in a uniform way, and to show that these properties are preserved by iterations of the construction.
Original language | English |
---|---|
Pages (from-to) | 157-186 |
Number of pages | 30 |
Journal | Annals of Pure and Applied Logic |
Volume | 116 |
Issue number | 1-3 |
DOIs | |
Publication status | Published - 2002 |