to the Homepage of Mathematical Logic Group
Since 2009 there has
been a sort of new structural divisions and
independent research groups within IPM. The
Mathematical Logic Group was reestablished in Spring
Currently, the main themes of research of the group
include Model Theory and Analysis (metric model theory
and integral logic), Non-Standard Arithmetic (open and
bounded arithmetic) and Non-Classical Logics
(intuitionistic, fuzzy, …). Some topics in Set
Theory, Computability Theory and Logic in Computer
Science are of interest as well.
For more information about the group, please see HISTORY.
Institute for Research in Fundamental
All rights reserved. Please submit your
comments or questions here,
or contact Webmaster.