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>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support