Seminar code: NMMB453 (both semesters)

(you can sign up for the seminar repeatedly)

The seminar is run in English if students not speaking Czech attend, as happened many semesters during the past.

The seminar is intended for students interested in mathematical logic. It does not assume more than basic knowledge, e.g. on the level of basic course Uvod do matematicke logiky (taking that particular course is not a necessary admission condition though). The seminar runs from the summer semester 06/07. Students are welcome to attend also a more advanced Logic seminar.

In every semester we concentrate on a different theme and it is generally not assumed that you have attended earlier semesters (there were some exceptions when the topic from one semester over-spilled into the next one). The themes are chosen in a discussion with the participants in order to respect their backgrounds and interests, and often relate to the area of interactions of logic and computational complexity theory. The main program is complemented by occasional lectures by guests.## Past program.

## Proposed for Winter semester 2017/18:

## Games in logic

There is a number of topics in mathematical logic that can be conveniently introduced and studied using the language of game theory.

Examples are: the Ehrenfeucht-Fraisse game related to elementary equivalence of structures or a game underlying Robinson's model-theoretic forcing, various games related to provability and validity in classical and non-classical logics, to witnessing of quantifiers and to complexity of proofs, set-theoretic games related to descriptive set theory, to large cardinals or to the axiom of determinacy, etc. Further examples offers Stanford encyclopedia of philosophy.

The seminar participants would each present one such game, prove its properties and show some applications. There is a large spectrum of games, from simple and combinatorially transparent to more difficult ones. In particular, the seminar is aimed at undergraduates with only an introductory knowledge of mathematical logic and everybody can find a game corresponding to his or her background.## Day, time and place:

Ignore what may be written in the SIS now: the eventual schedule will be decided at the departmental scheduling meeting (usually on the first Tuesday or Wednesday of the semester - I will announce it here) but due to my other schedule it will be most likely## either Tuesday 14.oo, 15.4o or 17.2o or Wednesday 12.2o, 15.40 or 17.20 or Thursday 10.40.

If you cannot come to the meeting send me an email at least a day in advance which of the days/times above are *impossible* for you (i.e. do not write what would be best for you).## Web:

http://www.karlin.mff.cuni.cz/~krajicek/babylogika.html