Student logic seminar

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.

Summer semester 2020/21:

Games in Logic

A number of topics in mathematical logic can be treated using the framework 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.

Actual topics to be studied - and schedule of talks - will be continuously updated on lecture page, that will also offer links to relevant literature and slides used during the talks.

Day, time and place:

Wednesday at 12.2o, starting on 1.March.

The semester will start online:
Zoom meeting ID: 396 697 4589
https://cuni-cz.zoom.us/j/3966974589
Password: I will send the password to all students who signed up for the seminar by 25.II.2021. If you will sign-up on some later date write me for the password.

After you joining the meeting you will find yourself in a waiting room - this is just a precaution to avoid unwanted visitors.
For the same reason please join each meeting under your *real name*. Only those who signed up for the course will be let in. The zoom room will open always cca 5 minutes before the seminar.

Web:

https://www2.karlin.mff.cuni.cz/~krajicek/babylogika.html