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.