We use a variation on Mason's alpha-function as a pre-dimension function to construct a not one-based omega-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 omega.

A NEW omega-STABLE PLANE

Paolini, G
2020-01-01

Abstract

We use a variation on Mason's alpha-function as a pre-dimension function to construct a not one-based omega-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 omega.
2020
55
87
111
Hrushovski constructions; matroids; omega-stable structures
Paolini, G
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1837580
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact