IPM LOGIC GROUP

News

Weekly Seminar IPM
On Mathematical Logic
More Info

Graduate Course IPM
Model Theory of $p$-adic Analytic Structures
Shahram Mohsenipour, IPM
More Info

Upcoming Events

Some Ramsey Properties of Cohen and Random Reals
Speaker(s): Mohammad Golshani
Date: 2018/4/12
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

Fraisse Limit Via Forcing
Speaker(s): Mohammad Golshani
Date: 2018/4/19
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

Traffic Jams: A Mathematical Problem?
Speaker(s): Etienne Ghys
Date: 2018/4/25
Time: 16:00 - 17:00
Venue: Niavaran Building, Lecture Hall 1

Model Theory of Modal Probability Logic
Speaker(s): Reihane Zoghifard
Date: 2018/4/26
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

On Self-Embeddings of Models of Arithmetics and their Fixed Points
Speaker(s): Saeideh Bahrami
Date: 2018/5/10
Time: 14:00 - 16:00
Venue: Niavaran Building, Lecture Hall 1

Publications

A. Mofidi, On Some Dynamical Aspects Of NIP Theories Arch. Math. Logic (to appear) More Info
Z. Ghadrenezhad and M. Pourmahdian (Joint with H. Khalilian), Automorphism groups of generic structures: extreme amenability and amenability Fund. Math. (to appear) More Info
M. Ghari (Joint with S. Bucheli and T. Studer), Temporal Justification Logic 243 Electronic Proceedings in Theoretical Computer Science, , , 59-74, (2017)  More Info
S. Tari, Some definable properties of sets in non-valuational weakly o-minimal structures Arch. Math. Logic (2017), DOI: 10.1007/s00153-017-0523-1  More Info
M. Ghari, Labeled sequent calculusfor justification logics Ann. Pure Appl. Logic 168(2017), 72-111  More Info