Department of logic

Search

Search this site:

Research

The primary research topics at the Department of Logic are as follows:

Mathematical aspects of both the classical and non-classical logics. More specifically, non-classical logics (their applications in metamathematics, theoretical computer science and social sciences), theories containing arithmetic, interpretability. These topics are studied by Marta Bilkova, and Vitezslav Svejdar. Please visit their webpages for more information and links to their preprints.

Set theory

Large cardinals, forcing and canonical extender/core models for large cardinals. These topics are studied by Radek Honzik. Please visit his webpage for more information and links to the preprints.

Combinatorics of ω, forcing and set-theoretic topology (Jonathan Verner). Please visit his webpage for more information and links to the preprints.

Our publications and preprints may be found here (for the most recent information, review the web pages of the people).

The continuum, forcing, and large cardinals. (2015-2017) (R. Honzík)Joint Lead-Agency research grant between Austrian Science Foundation (FWF) and Czech Science Foundation (GACR), no I 1921-N25

Information for prospective students

The teaching program at the Department of Logic comprises all academic degrees (Bachelor, Master, Ph.D.). The mathematical aspects of logic are more strongly represented in the study program, although the philosophical aspects are given due attention as well. We are happy to welcome talented English-speaking guests, or Ph.D. candidates.

The Ph.D. program can be studied both in Czech and English. Prospective students are expected to choose an advisor and to negotiate with him/her the topic of their dissertation before formally applying. Advisors may be chosen out of the members of the department or the programme committee. Choice of other advisors should be consulted the chairman and approved by the committee.