Decidability of first-order theories

Description:  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. Date:  2019-03-26 Start Time:   15:00 Speaker:  Cristina Sernadas (CMAFcIO, Univ. Lisboa) Institution:  CMAFcIO, Univ. Lisboa Place:  Room 5.5 Research Groups: -Algebra, Logic and Topology See more:   <Main>