English

Beyond Abstract Elementary Classes: On The Model Theory of Geometric Lattices

Logic 2017-10-10 v7

Abstract

Based on Crapo's theory of one point extensions of combinatorial geometries, we find various classes of geometric lattices that behave very well from the point of view of stability theory. One of them, (K3,)(\mathbf{K}^3, \preccurlyeq), is ω\omega-stable, it has a monster model and an independence calculus that satisfies all the usual properties of non-forking. On the other hand, these classes are rather unusual, e.g. in (K3,)(\mathbf{K}^3, \preccurlyeq) the Smoothness Axiom fails, and so (K3,)(\mathbf{K}^3, \preccurlyeq) is not an AEC\mathrm{AEC}.

Keywords

Cite

@article{arxiv.1512.01457,
  title  = {Beyond Abstract Elementary Classes: On The Model Theory of Geometric Lattices},
  author = {Tapani Hyttinen and Gianluca Paolini},
  journal= {arXiv preprint arXiv:1512.01457},
  year   = {2017}
}