Mathematical logic serves as a foundation for mathematics, and it is also a mathematical field on its own. Its roots are in the 19th century, but it branched out and grew tremendously during the 20th century. Our faculty members are interested in two of the most important branches of logic: model theory and set theory.

In model theory, one studies properties of mathematical structures as they are reflected by their logical properties as well as these logical properties themselves, such as the complete first-order theory attached to a structure. Model theory uses tools from almost all branches of mathematics such as combinatorics, algebra, topology, analysis, etc. in order both to study objects which are internal to model theory (such as theories, models, etc.) and to apply model theory to other fields in mathematics.

Faculty members in Logic: Model Theory & Set Theory:

- Haim Gaifman (emeritus): Mathematical logic, Model theory.
- Itay Kaplan: Logic, Model theory, Set theory, Algebra.
- Azriel Levy (emeritus): Set theory, Mathematical logic, Teaching of mathematics.
- Menachem Magidor (emeritus): Mathematical logic, Set theory.
- Saharon Shelah (emeritus): Mathematical logic, Model theory, Set theory.