Student logic seminar (Spring 2021)

A talk assignment and literature

Topics

  • (1) [O.Jezil: 10., 17. and 24.III.2021]
    Building models by games
    slides (10.3.), slides (17.3.) and slides (24.3.).
    Ref: W.Hodges, Building models by games (Chtp.2, in particular)

  • (2) [L.Kundratova: 31. and (a part of) 7.4.III.2021]
    Ehrenfeucht-Fraisse games and their pebbling versions
    Slides.
    Ref's:
    W.Hodges, Shorter model theory
    M.Otto, lecture notes on finite model theory
  • (3) [M.Narusevych: (part of)7., 14. and 21.IV.21]
    Determinacy of games (set th.)
    Slides.
    Refs:
    T.Jech, Set theory
    D.Marker, Model theory
    B.Bollobas, I.Leader, M.Walters, Lion and Man - Can Both Win?

  • (4) [M.Melicher: 28.IV.+5.V.2021]
    Conway's construction of the surreal numbers
    Slides: from 28.IV. and from 5.V.2021.
    Ref:
    J.Conway, On numbers and games (a 1976 book)

  • (5) [M.Grego, 19.V.2021]
    Hintikka's games and game semantics
    Slides.
    Refs.:
    Hintikka, Jaakko and Gabriel Sandu, 1997, Game-theoretical semantics, in Johan van Benthem and Alice ter Meulen (eds.), Handbook of Logic and Language, Amsterdam: Elsevier, pp. 361-410.
    Hintikka, Jaakko, 1996, The Principles of Mathematics Revisited, New York: Cambridge University Press.
    Enderton, H.B., 1970. Finite partially-ordered quantifiers. Z. Math. Logik Grundlag. Math. 16,393-397.
    Barwise, J., 1976. Some applications of Henkin quantifiers. Israel J. Math. 25, 47-63.

    Notes:

    The online material is not meant for distribution but only for study purposes - thanks.

    Examples of possible topics can be found on the literature page of the seminar from fall 2017.