Norwegian version of this page

Logic at the University of Oslo

Traditionally concerned with the principles of valid inference, contemporary logic is a diverse and interdisciplinary field unified by a common core in formal logic.

About the group

Research and teaching in logic at the University of Oslo is mainly carried out at Department of MathematicsDepartment of Informatics and Department of Philosophy, Classics, History of Art and Ideas. This research group is a collaboration of researchers from these departments unified by a common core in formal logic.   

Topics studied include complexity theory, computability theory, set theory, reverse mathematics, modal logic, the investigation of algorithms, and applications in the foundations of mathematics and formal semantics.

Logic-related events

Two recurring events are organized by logicians at the University of Oslo:

Course offerings

Advanced courses in mathematical logic, e.g. in set theory and computability theory, may be organized if there are interested students.

    Tags: Logic
    Published Feb. 11, 2019 10:04 AM - Last modified Nov. 3, 2021 10:54 PM

    Participants

    Detailed list of participants