Ample Hierarchy
Logic
2013-08-26 v4
Abstract
The ample hierarchy of geometries of stables theories is strict. We generalise the construction of the free pseudospace to higher dimensions and show that the n-dimensional free pseudospace is \omega-stable n-ample yet not (n+1)-ample. In particular, the free pseudospace is not 3-ample. A thorough study of forking is conducted and an explicit description of canonical bases is exhibited.
Keywords
Cite
@article{arxiv.1210.2552,
title = {Ample Hierarchy},
author = {Andreas Baudisch and Amador Martin-Pizarro and Martin Ziegler},
journal= {arXiv preprint arXiv:1210.2552},
year = {2013}
}
Comments
Section 7 contains more information about ranks