Por Gonenc Onay.
Abstract: This is a longstanding problem. We will expose a complete axiom system, which is also model complete and satisfied by F_p^{alg}((t)). A proof will be sketched. This work is joint with Françoise Delon (Paris) and Arno Fehm (Dresden) and should be considered as in progress.
Days in Logic will take place in Lisbon (FCUL) in January 30 and 31 and in the morning of February 1, 2020.
This biennial meeting aims at bringing together mathematicians, computer scientists and other researchers with interest in Logic.
Invited speakers:
Por Mário Edmundo (FCUL e CMAFcIO, Universidade de Lisboa).
Por Mário Edmundo (FCUL e CMAFcIO, Universidade de Lisboa).
Por Bruno Dinis (FCUL e CMAFcIO, Universidade de Lisboa).
Por Paulo Oliva (Queen Mary, University of London).
Por Hartry Field (New York University).
Por José Carlos Espírito Santo (Centro de Matemática, Universidade do Minho).
Por Pedro Pinto (Faculdade de Ciências, CMAFcIO, Universidade de Lisboa).
Por Guilherme Toledo (Universidade Estadual de Campinas).
