IPM LOGIC GROUP

News

Short Course
Method of Forcing with Side Conditions
Stevo Todorcevic
University of Toronto, Canada
More Info

Short Course
Coalgberas and Modal Logic: One-step at a time
Fatemeh Seifan
More Info

Upcoming Events

Publications

M. R. Koushesh (Joint with A. Khademi), On closed non-vanishing ideals in $C_{B}(X)$ II; compactness properties Topology Appl. 24(2018), 125-136  More Info
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