LOGIC AND COMPUTABILITY

Model theory, set theory, computability theory and topics related to logic as, modal logic, proof theory, reverse mathematics and algorithmic randomness.

This session has been included as part of the celebrations of the Alan Turing Year 2012, the centenary of the life and Work of Alan Turing (Logo).

Invited speakers:

-Carlos Areces (FaMAF, Universidad Nacional de Córdoba )

Título: "Logics to Describe and Change"

- Alf Onshuus Niño (Departamento de Matemáticas Facultad de Ciencias Universidad de los Andes)

Título: "The algebraic numbers definable in complex exponential fields"

- Denis Hirschfeldt (Department of Mathematics University of Chicago U.S.A.)

Título: "The reverse mathematics of combinatorial principles"