انجمن منطق ایران سخنرانیِ برخط (آنلاین) برگزار میکند
Intuitionistic analogues of the Łoś-Tarski Theorem
Shahid Beheshti University
The structural properties of a mathematical system are properties that refer to the relationship between the objects in that system and not to the nature of the objects themselves. Identifying these properties is especially important for those with a structuralist view towards mathematics. In this lecture, we will review some possible intuitive and informal definitions of structural properties. Next, we will discuss possible ways to refine the definition of these properties in the context of logic and especially model theory. Finally, we will compare these methods and examine their differences and the advantages and disadvantages of each.
Date: Monday, April 19 (30 Farvardin), 2021, 16:00-17:00
Online public access via Skype: