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
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
Institute for Research in Fundamental
All rights reserved.
Please submit your comments or questions here, or contact Webmaster.