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