Site News  | Login |  فا

logo

 

virtual-ture

Virtual Tour

internet

Internet Accounts

cloud-computing

HPC

refrences

Knowledge Resources

email

Mailboxes

edu

Automation


Dr Karim Khanaki

Assistant Professor

Arak University of Technology

This page is also available in Persian

Ph.D.            Mathematical Logic (Model Theory), Tarbiat Modares University (TMU) , Iran (2007- 2011)

M.Sc.:          Mathematical Logic (Model Theory), Tarbiat Modares University (TMU) , Iran (2003 - 2005)

B.Sc.:           Mathematics, Ferdowsi University of Mashhad (FUM) , Iran (1998- 2002)

Phone:         +988633400
Email:           This email address is being protected from spambots. You need JavaScript enabled to view it.
Address:      Arak University of Technology, Daneshgah St., Arak, Iran. Post Code: 38181-41167


Dr Karim Khanaki

Assistant Professor

Arak University of Technology

This page is also available in Persian

Ph.D.            Mathematical Logic (Model Theory), Tarbiat Modares University (TMU) , Iran (2007- 2011)

M.Sc.:          Mathematical Logic (Model Theory), Tarbiat Modares University (TMU) , Iran (2003 - 2005)

B.Sc.:           Mathematics, Ferdowsi University of Mashhad (FUM) , Iran (1998- 2002)

Phone:         +988633400
Email:           This email address is being protected from spambots. You need JavaScript enabled to view it.
Address:      Arak University of Technology, Daneshgah St., Arak, Iran. Post Code: 38181-41167

Research Interests

 -- Mathematical Logic

 -- Model theory

 -- Continuous Logic

 -- Functional Analysis

 

Professional Experiences

  Researcher, School of Mathematics, Institute for Research in Fundamental Sciences (IPM)

 

 Conferences

 -- Conference on Mathematical Logic and its Applications (in Persian), Arak University of Technology, September 4, 2019

 -- Set Theory and Model Theory, IPM, October 12-16, 2015


 

Selected Publications

Journal Papers

 -- Haar measure and integral logic (with Massoud Amini), Mathematical Logic Quarterly, 2012

 

 -- Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic, Fundamenta Mathematicae, n 234, pp 253-285 (2016)  arXiv

 

 -- Stability, NIP, and NSOP; Model Theoretic Properties of Formulas via Topological Properties of Function Spaces, Math. Log. Quart, to appear arXiv

 

 -- Remarks on NIP in a model (with Anand Pillay), Math. Log. Quart. 64, No. 6, 429–434 (2018) arXiv

 

 -- Topological aspects of the classical logic (in Persian)

 

 

 

 

 

Teaching

 -- Model Theory

 -- Real Analysis

 -- Calculus