Sala 6.2.33, FCUL, Lisboa
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.
16h30
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional