Course
Doctorate Degree
Research title
A new conception of abstract logic as a basis for definability theory
Research abstract
The aim of this project is to develop a unified framework for logic systems based on the Fräissé method for first order logic. Our purpose is to provide a more refined treatment to the notion of definability which can be applied to compare expressive power of logic systems. Briefly, we shall (i) to develop proper definition of logic system based on definability and contrast it to to others well known approaches to abstract logic; (ii) to transpose results of first order definability theory, in both finite and infinite aspects, to our unified context; (iii) to investigate the relevance of this context to the foundations of mathematics.
Graduate Advisor
Edelcio Gonçalves de Souza
Lattes (curriculum vitae)