2017/09/20 by Paolini, Gianluca
#03C45 #05B35 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1709.06789
We use a variation on Mason's α-function as a pre-dimension function to construct a not one-based ω-stable plane P (i.e. a simple rank 3 matroid) which does not admit an algebraic representation (in the sense of matroid theory) over any field. Furthermore, we characterize forking in Th(P), we prove that algebraic closure and intrinsic closure coincide in Th(P), and we show that Th(P) fails weak elimination of imaginaries, and has Morley rank ω.