A New $\omega$-Stable Plane
Logic
2020-01-13 v9
Abstract
We use a variation on Mason's -function as a pre-dimension function to construct a not one-based -stable plane (i.e. a simple rank matroid) which does not admit an algebraic representation (in the sense of matroid theory) over any field. Furthermore, we characterize forking in , we prove that algebraic closure and intrinsic closure coincide in , and we show that fails weak elimination of imaginaries, and has Morley rank .
Cite
@article{arxiv.1709.06789,
title = {A New $\omega$-Stable Plane},
author = {Gianluca Paolini},
journal= {arXiv preprint arXiv:1709.06789},
year = {2020}
}