Osnova sekce

  • This minicourse is based on Kaye and Wong's paper "On Interpretations of Arithmetic and Set Theory". It concerns the Ackermann's interpretation of the theory of hereditarily finite sets in PA and the role of some set theory axioms in it. We will also revisit some material related to Vopěnka's Alternative set theory, where similar phenomena were observed.

    First talk slides: pa_zffin.pdf.
    Second talk slides: pa_zffinII.pdf
    Third talk slides: pa_zffinIII.pdf

    The slides give a guide to the remaining reading material.

  • Though not as glamorous as some of its relatives, the notion of well-ordering is arguably one of the most important and useful ideas in mathematical logic and set theory, lying at the heart of a number of important breakthroughs over the last 150 years. We will survey the valuable role that well-orderings and the Well-Ordering Theorem have played in the development of the modern foundations of mathematics and in applications of logic and set theory to other areas of mathematics. We will cover over 100 years of research, from the late 19th century to the present day, along the way investigating the roles that well-orderings play in connection with constructions of pathological mathematical objects, infinitary logics, questions of definability, large cardinals, and infinite games.

  • We look at some applications of logic in computer science. In particular, we'll give an introduction to modal logic and then discuss some of its applications: epistemic logic, dynamic logic, and temporal logic.

     References:

     [1] David Harel, Dexter Kozen, and Jerzy Tiuryn. 2000. Dynamic Logic. MIT Press. DOI:https://doi.org/10.7551/mitpress/2516.001.0001

    [2] Michael Huth and Mark Ryan. 2004. Logic in Computer Science. Modelling and Reasoning about Systems (2nd ed.). Cambridge University Press. DOI:https://doi.org/10.1017/cbo9780511810275

    [3] Patrick Blackburn, Maarten de Rijke, and Yde Venema. 2001. Modal Logic. Cambridge University Press, Cambridge. DOI:https://doi.org/10.1017/cbo9781107050884

    [4] Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. 1995. Reasoning About Knowledge. MIT Press. DOI:https://doi.org/10.7551/mitpress/5803.001.0001