Welcome 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 2010.

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.