A Roadmap to Decidability
15/11/2013 Sextafeira, 15 de Novembro de 2013, 16h0017h00, IIIUL  Sala B101
Cristina Sernadas (Instituto de Telecomunicações, Departamento de Matemática Instituto Superior Técnico)
Institute for Interdisciplinary Research  University of Lisbon
It is well known that quantifier elimination plays an important role in proving decidability of a firstorder theory using either prooftheoretic or modeltheoretic techniques. After providing an overview of the relevant results, a onestep construction is proposed for proving quantifierelimination adopting a modeltheoretic standpoint. Several illustrations are provided.
Joint work with João Rasga and Amílcar Sernadas
