Mathematical and Computational Logic

The mathematical and computational logic group at BGU conducts research in set theory, model theory, general topology, Boolean algebras and, in theoretical computer science, concurrency, logic programming and lambda calculus.


Group Members

Research Interests
Emeritus Prof Uri Abraham

Set theory, mathematical logic, concurrency (in Computer Science)

Prof. Gregory Mashevitsky

Semigroup theory, semigroup identities, completely o-simple semigroups, transformation semigroups, universal algebra

Introduction to Discrete Mathematics and Introduction to Discrete Mathematics
Prof. Ruvim Lipyanski

Theory of Lie algebras, constructive algebraic geometry, algorithmic problems in the theory of rings.

Prof. Michael Codish
Computer Programming
Mayer Goldberg
Dr. Eliana Barriga
Prof. Menachem Kojman

Set theory, mathematical logic, combinatorics.

Introduction to Logic and Set Theory, Logic and pcf theory and its applications
Prof. Assaf Hasson

Model theory and applications to algebra and geometry.

Fundamentals of Analysis for EE - part I, O-minimality: topology without pathologies and Geometric infinitesimal calculus 2
Dr. Moshe Kamensky

Model theory (a branch of mathematical logic), and its interactions with other areas of mathematics, especially algebraic geometry, representation theory and differential equations. I also like algebraic geometry in general, as well as category theory and related subjects.

Theory of Numbers and Approximation Theory
Prof. Arkady Leiderman

Set theoretic topology, functional analysis, topological groups.