BEGIN:VCALENDAR
PRODID:-//Columba Systems Ltd//NONSGML CPNG/SpringViewer/ICal Output/3.3-
M3//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20220425T083402Z
DTSTART:20220427T140000Z
DTEND:20220427T150000Z
SUMMARY:Logic Seminar - Victor Lisinski (Oxford)
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}q1kb-l27pzg
3h-e1ws4z
DESCRIPTION:Title: Decidability of equal characteristic tame Hahn fields
in the language L_t \n\nAbstract: The model theory of tame fields in the
language of valued fields has been extensively studied by Kuhlmann. In
particular\, the theory of an equal characteristic tame field in this la
nguage is given by the theory of the residue field and the theory of the
value group. Building on Kuhlmann's results\, we give an AKE-principle
for tame valued fields of equal characteristic in L_t\, the language of
valued fields with a distinguished constant symbol t. Furthermore\, we u
se this principle together with Kedlaya's work on the connection between
generalised power series and finite automata to show that a tame Hahn f
ield of equal characteristic is decidable in L_t if it has decidable res
idue field and decidable value group. In particular\, we obtain decidabi
lity of F_p((t^Q )) in L_t. Finally\, we will see how approximation meth
ods used in this work reveal a condition on algebraicity for generalised
power series in terms of the order type of the support.
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Frank Adams 1 (and zoom\, link in email)\, Alan Turing Building\
, Manchester
END:VEVENT
END:VCALENDAR