Welcome to the Mathematical Logic Group at the Institute for Research in Fundamental Sciences (IPM). The group consists of faculty members and postdoctoral researchers working on mathematical logic, with a particular focus on model theory and set theory.

In model theory, we investigate the relationships between formal languages and interpretations within mathematical structures. These Investigations yield new insights into understanding mathematical structures on the one hand and classifications of models of a formal theory on the other hand.

In Set Theory, we contribute to the study of large cardinals, forcing, infinity combinatorics and the foundations of set theory. The research often involves exploring the interactions between various set-theoretic axioms and their implications for the structure of mathematical universes.

Should you be a fellow researcher, a student, or simply someone interested in the logical foundations of mathematics, we invite you to explore our work and join us in our pursuit of mathematical truth.