Please note that this newsitem has been archived, and may contain outdated information or links.
3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, Sao Paulo & Campinas (Brazil)
The topic of the conference is the interplay between set theory and model theory, both from a mathematical and a philosophical perspective, with particular emphasis on the method of forcing. This method, invented by Cohen in 1963, facilitated not only a proof of the independence of the Continuum Hypothesis, but also placed at the center of set theory the study of its models. Its model theoretic version, invented by Robinson, attempts to generalize the notion of algebraic closed fields to other areas of mathematics.
The conferece aims to gather early career scholars in order to foster collaborations and to present a wide perspective on the topics that Cantor and Robinson helped to create and develop. A series of three mini-courses will be held the week before the conference on the topics of Large Cardinals, Robinson Forcing, and Forcing Axioms.
We expect to host up to 14 contributed talks by speakers of any nationalities by double-blind review. Submissions of original contributions are invited in any area of set theory, model theory, and philosophy of set theory or model theory with particular attention to the the following topics: - Forcing in set theory - Model theoretic forcing - Generic absoluteness principles - Forcing Axioms - Boolean valued models and constructions - Maximality - Universism or Pluralism - Theory and Structure(s) - Genericity and arbitrariness. Submissions by young scholars are especially welcome.
Please note that this newsitem has been archived, and may contain outdated information or links.