BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Dimitra Chompitaki (University of Crete)
DTSTART:20210708T180000Z
DTEND:20210708T190000Z
DTSTAMP:20260423T035717Z
UID:OLS/55
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/55/">Dec
 idability results of subtheories of commonly used domains in Algebra and N
 umber Theory</a>\nby Dimitra Chompitaki (University of Crete) as part of O
 nline logic seminar\n\n\nAbstract\nWe will present some known decidability
  and undecidability results for theories of the ring-structures of commonl
 y used domains (Polynomial Rings\, Rational Functions\, Formal Power Serie
 s). Then we will focus on ongoing research relating to some subtheories su
 ch as: (a) Addition and the Frobenius map for subrings of Rational Functio
 ns of positive characteristic\, and (b) Addition and Divisibility for Form
 al Power Series. The latter results fall mostly on the "decidability" side
 : model completeness and elimination of quantifiers.\n
LOCATION:https://researchseminars.org/talk/OLS/55/
END:VEVENT
END:VCALENDAR