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 |