Events Archive

Bounding Nonminimality
Speaker(s): Rahim N. Moosa
Date: 2022/5/18
Time: 16:30 - 18:30
Venue: (Zoom Lecture)

Forcing a Club by a Generalized Fast Function
Speaker(s): Tadatoshi Miyamoto
Date: 2022/5/11
Time: 15:30 - 16:30
Venue: (Online)

Monadic Dividing Lines and Hereditary Classes
Speaker(s): Sam Braunfeld
Date: 2022/4/13
Time: 16:30 - 18:30
Venue: (Zoom Lecture)

Strong Minimal Sets in Differentially Closed Fields-Equations of Poizat and Lienard Type
Speaker(s): David Marker
Date: 2022/2/16
Time: 17:30 - 19:30
Venue: Lecture Hall 1

Corona Rigidity
Speaker(s): Ilijas Farah
Date: 2022/2/9
Time: 16:00 - 18:00
Venue: (Online)

Higher Order Stability, 3-uniform Hyper Graphs, and Arithmetic Regularity
Speaker(s): Caroline Terry
Date: 2021/12/8
Time: 17:00 - 19:00
Venue: Lecture Hall 1

Algebraic Constructions in Models of Peano Arithmetic and its Weak Fragments
Speaker(s): Paola D'Aquino
Date: 2021/12/1
Time: 16:30 - 18:30
Venue: Lecture Hall 1

Semantics of Boolean-valued Models and their Connection and Application to the Standard Model of Set Theory
Speaker(s): Asgar Jamneshan
Date: 2021/11/24
Time: 15:30 - 17:30
Venue: Lecture Hall 1

Semantics of Boolean-valued Models and their Connection and Application to the Standard Model of Set Theory
Speaker(s): Asgar Jamneshan
Date: 2021/11/17
Time: 15:30 - 17:30
Venue: Lecture Hall 1

Strong Tree Properties, the Kurepa Hypothesis, and the Continuum
Speaker(s): Chris Lambie-Hanson
Date: 2021/11/10
Time: 17:30 - 19:30
Venue: Lecture Hall 1

Properly Ergodic Structures
Speaker(s): Alex Kruckman
Date: 2021/11/3
Time: 15:30 - 17:30
Venue: Lecture Hall 1

MS-measurability via Coordinatization
Speaker(s): Mostafa Mirabi
Date: 2021/10/27
Time: 16:30 - 18:30
Venue: (Online)

Large Fields with Stable and Simple Theories
Speaker(s): Anand Pillay
Date: 2021/10/13
Time: 15:30 - 17:30
Venue: Lecture Hall 1

On the Reconstruction of non $\aleph_0$-Categorical Theories, and some Remarks on 8Witnesses in Continuous Logic
Speaker(s): Itai Ben Yaacov
Date: 2021/10/6
Time: 15:30 - 17:30
Venue: (Online)

Finite Support Iteration and Small Models
Speaker(s): Martin Goldstern
Date: 2021/3/3
Time: 15:30 - 17:30
Venue: (Online)

Partitions of Well-founded Trees and Three Connections with Model Theory
Speaker(s): Andre Villaveces
Date: 2021/2/24
Time: 15:30 - 17:30
Venue: (Online)

A Definable Hamel Basis without Choice
Speaker(s): Ralf Schindler
Date: 2021/2/3
Time: 15:30 - 17:30
Venue: (Online)

The Herwig--Lascar Property of Groups, Ultraextensive Structures and Vershik's Conjecture
Speaker(s): Mahmood Etedadi Aliabadi
Date: 2020/12/23
Time: 16:00 - 18:00
Venue: Lecture Hall 1

Universal Theories and Compactly Expandable Models
Speaker(s): Enrique Casanovas
Date: 2020/12/16
Time: 16:30 - 18:30
Venue: (Online)

Linearisation in Finite-dimensional Theories
Speaker(s): Frank O. Wagner
Date: 2020/12/9
Time: 16:30 - 18:30
Venue: (Online)

Friasse Limits of Categories of C*-algebras
Speaker(s): Saeed Ghasemi
Date: 2020/11/25
Time: 15:30 - 17:30
Venue: (Online)

Generalized Descriptive Set Theory under I0
Speaker(s): Vincenzo Dimonte
Date: 2020/11/18
Time: 17:00 - 19:00
Venue: (Online)

In Search of Higher Forcing Axioms; A Supplement to Veli?kovi?'s talk
Speaker(s): Rahman Mohammadpour
Date: 2020/10/28
Time: 15:30 - 17:30
Venue: (Online)

In Search of Higher Forcing Axioms
Speaker(s): Boban Velickovic
Date: 2020/10/21
Time: 15:30 - 17:30
Venue: (Online)

Combining Logic and Probability in the Presence of Symmetry
Speaker(s): Rehana Patel
Date: 2020/10/14
Time: 16:30 - 18:30
Venue: (Online)

Model Theory of Adeles
Speaker(s): Jamshid Derakhshan
Date: 2020/10/7
Time: 15:30 - 17:30
Venue: (Online)

Model Theory of Adeles
Speaker(s): Jamshid Derakhshan
Date: 2020/9/30
Time: 15:30 - 17:30
Venue: (Online)

Stability in a Group
Speaker(s): Gabriel Conant
Date: 2020/9/23
Time: 15:30 - 17:30
Venue: (Online)

Tameness for Set Theory
Speaker(s): Matteo Viale
Date: 2020/9/16
Time: 15:30 - 17:30
Venue: (Virtual Lecture)

Existentially Closed Closure Algebras.
Speaker(s): Philip Scowcroft
Date: 2020/9/9
Time: 15:30 - 17:30
Venue: (Online Lecture)

Cardinalities of Definable Sets in Finite Structures
Speaker(s): Dugald Macpherson
Date: 2020/7/29
Time: 15:30 - 17:30
Venue: (Online Lecture)

Purity and Model Theory of Modules
Speaker(s): Mike prest
Date: 2020/7/15
Time: 15:30 - 17:30
Venue: (Online Lecture)

Interpolative Fusions
Speaker(s): Alex Kruckman
Date: 2020/7/8
Time: 15:30 - 17:30
Venue: (Online Lecture)

Dynamic Topological Logic
Speaker(s): David Fernandez-Duque
Date: 2020/7/1
Time: 15:30 - 17:30
Venue: (Online Lecture)

Dynamic Topological Logic
Speaker(s): David Fernandez-Duque
Date: 2020/6/24
Time: 15:30 - 17:30
Venue: (Online Lecture)

Group Topologies on Automorphism Groups of First Order Structure
Speaker(s): Zaniar Ghadernezhad
Date: 2020/6/10
Time: 15:30 - 17:30
Venue: (Online Lecture)

Logical Relations on Span Categories
Speaker(s): A. R. Shir Ali Nasab
Date: 2020/2/19
Time: 15:30 - 17:30
Venue: Lecture Hall 1

${\sf MM}^{++}$ implies ($\star$)
Speaker(s): Ralf Schindler
Date: 2019/10/23
Time: 15:30 - 17:30
Venue: Lecture Hall 1

Galvins Question on Non-$\sigma$-well Ordered Lines
Speaker(s): Hossein Lamei Ramandi
Date: 2019/7/22
Time: 14:00 - 16:00
Venue: Lecture Hall 1

Speaker(s): Fatemeh Sadat Nabavi
Date: 2019/7/18
Time: 14:00 - 16:00
Venue: Lecture Hall 1

The Convex Hull of Finitely Generable Subsets and its Predicate Transformer
Speaker(s): Mohammad Javad Davari
Date: 2019/7/11
Time: 14:00 - 16:00
Venue: Lecture Hall 1

More on Dividing Lines in Unstable Theories
Speaker(s): Karim Khanaki
Date: 2019/7/4
Time: 14:00 - 16:00
Venue: Lecture Hall 1

Algebraic Approach to Non-monotonic Logics
Speaker(s): Esfandiar Eslami
Date: 2019/6/27
Time: 14:00 - 16:00
Venue: Lecture Hall 1

Talking About the Sentences that Talk About Themselves!
Speaker(s): Saeed Salehi
Date: 2019/6/20
Time: 14:00 - 16:00
Venue: Lecture Hall 1

On Foreman's Maximality Principle
Speaker(s): Mohammad Golshani
Date: 2019/3/7
Time: 14:00 - 16:00
Venue: Lecture Hall 1

The (almost) Pointless Geometries
Speaker(s): Piergiorgio Odifreddi
Date: 2019/2/28
Time: 14:00 - 16:00
Venue: Lecture Hall 1

Provability Logics of Hierarchies
Speaker(s): Amir Akbar Tabatabai
Date: 2019/2/21
Time: 14:00 - 16:00
Venue: Lecture Hall 1

Possibility Semantics and Logics for Dynamical Systems
Speaker(s): Somayeh Chopoghloo
Date: 2018/12/27
Time: 14:00 - 16:00
Venue: Lecture Hall 1

Subintuitionistic Logics
Speaker(s): Fatemeh Shirmohammadzade Maleki
Date: 2018/12/20
Time: 14:00 - 16:00
Venue: Lecture Hall 1

An Application of Forcing in Algebraic Topology
Speaker(s): Mohammad Hadi Hedayatzadeh
Date: 2018/12/13
Time: 14:00 - 16:00
Venue: Lecture Hall 1

Sequent calculus systems for modal logic S5
Speaker(s): Mojtaba Aghaei
Date: 2018/12/6
Time: 14:00 - 16:00
Venue: Lecture Hall 1

Higher Aronszajn trees
Speaker(s): Mohammad Golshani
Date: 2018/11/22
Time: 14:00 - 16:00
Venue: Lecture Hall 1

Higher Aronszajn trees
Speaker(s): Mohammad Golshani
Date: 2018/11/15
Time: 14:00 - 16:00
Venue: 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: Lecture Hall 1

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

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

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

TWS5: A temporal logic of knowledge for authentication
Speaker(s): Sharar Ahmadi
Date: 2018/2/8
Time: 14:00 - 16:00
Venue: Lecture Hall 1

Provability Logic of Constructive Arithmetic
Speaker(s): S. Mojtaba Mojtahedi
Date: 2017/5/11
Time: 14:00 - 16:00
Venue: Lecture Hall 1

Provability Logic of Constructive Arithmetic
Speaker(s): S. Mojtaba Mojtahedi
Date: 2017/5/4
Time: 14:00 - 16:00
Venue: Lecture Hall 1

Provability Logic of Constructive Arithmetic
Speaker(s): S. Mojtaba Mojtahedi
Date: 2017/4/27
Time: 14:00 - 16:00
Venue: Lecture Hall 1