Seminar

To participate in this seminar, please register here: https://www.msri.org/seminars/25206

Abstract:

Starting from a sufficiently saturated first-order structure M whose theory T has SU-rank 1, we can expand it with a dense condense algebraically independent set H and the resulting structure (M,H), called an H-structure, is super-simple of SU-rank omega. In this talk we will show that if we assume that in addition T is measurable, then (M,H) is generalized measurable. This is achieved by a detailed analysis of definable sets in H-structures. In particular we also show that SU-rank is definable in (M,H) without assuming T being measurable. This is joint work with Alex Berenstein and Darío García.

Generalized Measurable H-Structures