Back to IPM Homepage

Search Mathematics
Enter your search string here
and click on Go! to continue




.   IPM .
. .  .
IPM > School of Mathematics > Mathematical Logic Group Home

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.


Copyright 2000-2010
Institute for Research in Fundamental Sciences (IPM)
All rights reserved.
Please submit your comments or questions here, or contact Webmaster.