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.

## Winter semester 2018/19:

- the topic will be chosen during the first meeting in October -

The list below will contain topics that somebody suggests before the semester starts and we can choose from. Do not hesitate to suggest some if you are interested in the seminar.

Logic and Computational Complexity: many central notions and problems of computational complexity theory have their origin in mathematical logic. We can look at some basic examples.

D.Scott's 1967 exposition of the independence of the Continuum Hypothesis: this is one of the most beautiful expository papers on a deep topic written for non-logicians (but with details) and one can learn a lot by studying it.

Interpretability of theories: theories may differ in their language and axioms but still may be in some sense equivalent (analogously as one can pass between geometry and algebra). The formal notion capturing this is "interpretability" and it has a lot of interesting (simple or not so simple) properties.

Hierarchy of mathematical concepts and their formalizations: mathematics done in ZFC can be formalized but it is often assumed that this can be done only "in principle", that the formal text would be incredibly complex and long. But that is not true. ## Day, time and place:

To be decided at the departmental scheduling meeting in the first week of the semester (SIS may pre-schedule the seminar but ignore that - we can change it).

If you cannot come to that meeting send me an email at least a day or two in advance with your time constraints (i.e. do not write what would be best for you but only what is impossible for you).

Days/times possible for me at the moment: Thursday 10.40, 12.20 or 14.oo, or Tuesday 14.oo.## Web:

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