Seville Mathematical Logic Group
Welcome to the web site of the Mathematical Logic Group at the University of Seville, Spain.
- Research interests:
- Mathematical Logic.
- Model Theory.
- Subsystems of First and Second Order Arithmetic. Nonstandard models of Arithmetic.
- Implicit Computational Complexity. Classification of computable functions.
- Applications of Logic to Computer Science.
- Lines of research:
- Applications of Model Theory to the study of fragments of Arithmetic
(and, in particular, to the study of Weak Arithmetics): finite
axiomatization, conservativeness, provably total computable
- Our group belongs to the
Journées sur les Arithmétiques Faibles/Weak Arithmetics Days community.
Webmaster: Andrés Cordón Franco (acordonus.es)