Research area: Mathematical Logic and Foundations
|
- Models of computability with oracles. Theory of Numerations. Computably enumerable algebraic structures.
- Connections between computability and incompleteness.
- Ideals in Universal Algebra and in Categorical Algebra. Categorical semantics of logical languages.
- History of Logic and other fundational issues.
|
ERC Keywords PE1_1 Logic and foundations
|