Reducts of Hrushovski's constructions of a higher geometrical arity

Abstract: Let

m a t h b b M_{n}

denote the structure obtained from Hrushovski's (non collapsed) construction with an n-ary relation and

P G (m a t h b b M_{n})

its associated pre-geometry. It was shown by Evans and Ferreira that

P G (m a t h b b M_{3}) o t c o n g P G (m a t h b b M_{4})

. We show that

m a t h b b M_{3}

has a reduct,

m a t h b b M^{c l q}

such that

P G (m a t h b b M_{4}) c o n g P G (m a t h b b M^{c l q})

. To achieve this we show that

m a t h b b M^{c l q}

is a slightly generalised Fra"iss'e-Hrushovski limit incorporating into the construction non-eliminable imaginary sorts in

m a t h b b M^{c l q}

.

Recommendations

Cites Work

Cited In (5)

This page was built for publication: Reducts of Hrushovski's constructions of a higher geometrical arity