BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Alexander Berenstein (U de los Andes)
DTSTART:20200917T180000Z
DTEND:20200917T190000Z
DTSTAMP:20260423T021312Z
UID:OLS/23
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/23/">Exp
 ansions of geometric theories as measurable structures</a>\nby Alexander B
 erenstein (U de los Andes) as part of Online logic seminar\n\n\nAbstract\n
 We say that a theory T is geometric if for any model $M\\models T$ the alg
 ebraic closure satisfies the exchange property and T eliminates the quanti
 fier $\\exists^{\\infty}$. We will explain how to define\, inside a geomet
 ric theory\, a well behaved notion of dimension for definable sets. We wil
 l then consider the special case where the underlying theory is measurable
  (in the sense of Macpherson and Steinhorn) of SU-rk one\, where besides a
  dimension we can also assign a measure to definable sets. We will then in
 troduce an expansion called an H-structures and show that it can be studie
 d as a generalized measurable structure whose dimension has values in $\\o
 mega^2$. This is joint work with García and Zou.\n
LOCATION:https://researchseminars.org/talk/OLS/23/
END:VEVENT
END:VCALENDAR