Seminário de Lógica Matemática

Decidability of first-order theories

Sala 6.2.33, FCUL, Lisboa

Por Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa).

Abstract: Some results and reduction techniques for proving decidability of mathematical theories and completeness of logics are presented. The crucial role of the theory of real closed ordered fields is explained. Selected illustrations from Euclidean Geometry to Quantum Logic are discussed.

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