Countable imaginary simple unidimensional theories
Logic
2009-09-29 v2
Abstract
We prove that a countable simple unidimensional theory that eliminates hyperimaginaries is supersimple. This solves a problem of Shelah in the more general context of simple theories under weak assumptions.
Cite
@article{arxiv.0909.4946,
title = {Countable imaginary simple unidimensional theories},
author = {Ziv Shami},
journal= {arXiv preprint arXiv:0909.4946},
year = {2009}
}