Seminário de Lógica Matemática

Axiomatization of the Laurent series field over the algebraic closure of the p-element field

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.

CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional