Events at The University of Manchester
  • University home
  • Events
  • Home
  • Exhibitions
  • Conferences
  • Lectures and seminars
  • Performances
  • Events for prospective students
  • Sustainability events
  • Family events
  • All Events

Logic Seminar - Victor Lisinski (Oxford)

Dates:27 April 2022
Times:15:00 - 16:00
What is it:Seminar
Organiser:Department of Mathematics
Who is it for:University staff, External researchers, Adults, Alumni, Current University students
See travel and contact information
Add to your calendar

More information

  • Department of Mathematics

Other events

  • In category "Seminar"
  • In group "(Maths) Maths seminar series"
  • In group "(Maths) Logic"
  • By Department of Mathematics

Title: Decidability of equal characteristic tame Hahn fields in the language L_t

Abstract: 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 language 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 use this principle together with Kedlaya's work on the connection between generalised power series and finite automata to show that a tame Hahn field of equal characteristic is decidable in L_t if it has decidable residue field and decidable value group. In particular, we obtain decidability of F_p((t^Q )) in L_t. Finally, we will see how approximation methods used in this work reveal a condition on algebraicity for generalised power series in terms of the order type of the support.

Travel and Contact Information

Find event

Frank Adams 1 (and zoom, link in email)
Alan Turing Building
Manchester

 

Contact us

  • +44 (0) 161 306 6000

Find us

The University of Manchester
Oxford Rd
Manchester
M13 9PL
UK

Connect with the University

  • Facebook page for The University of Manchester
  • X (formerly Twitter) page for The University of Manchester
  • YouTube page for The University of Manchester
  • Instagram page for The University of Manchester
  • TikTok page for The University of Manchester
  • LinkedIn page for The University of Manchester

  • Privacy /
  • Copyright notice /
  • Accessibility /
  • Freedom of information /
  • Charitable status /
  • Royal Charter Number: RC000797
  • Close menu
  • Home
    • Featured events
    • Today's events
    • The Whitworth events
    • Manchester Museum events
    • Jodrell Bank Discovery Centre events
    • Martin Harris Centre events
    • The John Rylands Library events
    • Exhibitions
    • Conferences
    • Lectures and seminars
    • Performances
    • Events for prospective students
    • Sustainability events
    • Family events
    • All events