A Roadmap to Decidability
15/11/2013 Sexta-feira, 15 de Novembro de 2013, 16h00-17h00, IIIUL - Sala B1-01
Cristina Sernadas (Instituto de Telecomunicações, Departamento de Matemática Instituto Superior Técnico)
Instituto para a Investigação Interdisciplinar da Universidade de Lisboa
It is well known that quantifier elimination plays an important role in proving decidability of a first-order theory using either proof-theoretic or model-theoretic techniques. After providing an overview of the relevant results, a one-step construction is proposed for proving quantifier-elimination adopting a model-theoretic standpoint. Several illustrations are provided.
Joint work with João Rasga and Amílcar Sernadas
|
