Category Archives: Conferences

2018 North American ASL Meeting, Illinois, May 16-19, 2018


Association for Symbolic Logic

2018 North American Annual Meeting

May 16 – May 19, 2018

Western Illinois University • Macomb, Illinois


Invited Speakers:

Plenary Speakers:

JC Beall, University of Connecticut

A. Chernikov, University of California at Los Angeles
(Local distality and distal parts of stable theories)

B. Hart, McMaster University
(In defense of ultraproducts)

J. Knight, University of Notre Dame
(Roots of polynomials in generalized power series)

R. Nagloo, Bronx Community College
(Model theory and classical differential equations)

D. Sinapova, University of Illinois at Chicago
(Stronger tree properties and the SCH)

S. Solecki, University of Illinois at Urbana-Champaign
(Fra\”iss\’e limits and compact spaces)

A. Weiermann, Ghent University, Belgium
(Generalized Goodstein sequences and notation systems for finite numbers)


A. Marks, University of California at Los Angeles
(Descriptive set theory and geometric paradoxes)

T. Slaman, University of California at Berkeley
(Recursion theory and Diophantine approximation)

Special Sessions:
  • Computability (L. Bienvenu and K. Lange)
  • Logic and Philosophy (C. Franks)
  • Model Theory (J. Freitag and J. Marikova)
  • Proof Theory (H. Towsner)
  • Set Theory (D. Sinapova and A. Tserunyan)

First Girona inner model theory conference, Girona, July 16-27 2018

The first Girona inner model theory conference will take place on July 16-27 at the Philosophy Department of the University of Girona, Catalonia.

The conference is a sequel to previous conferences on inner model theory in Münster, Palo Alto, Berkeley and Irvine. Once more, the meeting will draw together researchers and advanced students with an interest in inner model theory, in order to communicate and further explore recent work. There will be courses and single talks Monday-Friday, with 2 1/2 hours of lectures in the morning and 2 1/2 hours of lectures in the afternoon. This will leave ample time for problem sessions, informal seminars, and other interactions.

The conference is organized by Ralf Schindler (Münster), John Steel (Berkeley) and Joan Vergés (Girona). Please contact Ralf Schindler ( if you intend to participate.

2nd Pan Pacific International Conference on Topology and Applications, November 13–17, 2017

The 2nd Pan Pacific International Conference on Topology and Applications (2nd PPICTA) had a special session in Set Theory, to which we now provide the slides.

(50min. talks)
1. David Chodounsky (Institute of Mathematics CAS)
Sacks indestructible ultrafilters and the HL property

2. David Fernández-Bretón (University of Michigan)
Algebraic Ramsey-Theoretic Statements with an Uncountable Flavour

3. Diego A. Mejía (Shizuoka University)
Ultrafilter limits in matrix iterations

4. Liuzhen Wu (Chinese Academy of Sciences)
Simultaneously reflection principle, successors of singulars and Jonsson cardinals

(30min. talks)
1. Joerg Brendle (Kobe University)
Constant prediction, strong porosity, and unsymmetric game ideals

2. Longyun Ding (Nankai University)
Equivalence relations and Borel reduction

3. Jialiang He (Sichuan University)
Tukey reduction on F_sigma ideal

4. Daisuke Ikegami (Tokyo Denki University)
On supercompactness of omega_1

5. Takayuki Kihara (Nagoya University)
Borel isomorphisms at the second level

6. Hiroshi Sakai (Kobe University)
On reflection principles of indescribable sets

7. André Ottenbreit Maschio Rodrigues (Kobe University)
Uncountable Fordor-type reflection principle and reflection of meta-Lindelöfness

11th Young Set Theory Workshop, Lausanne, June 25–29, 2018

The aims of the Young Set Theory workshops are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

This year’s Young Set Theory Workshop will take place at the Bernoulli Center in Lausanne, Switzerland, at the end of the Descpriptive set theory and Polish groups semester. While the organization of the workshop is independent of that of the semester, we hope the proximity will promote attendance of young researchers from extra-European countries.

Tutorial Speakers

  • Ilijas Farah (York University)
  • Assaf Rinot (Bar-Ilan University)
  • Christian Rosendal (University of Illinois at Chicago)
  • Dima Sinapova (University of Illinois at Chicago)

Invited Speakers

  • Hazel Brickhill (University of Kobe)
  • Diana Montoya (Kurt Gödel Research Center)
  • Gianluca Paolini (Hebrew University of Jerusalem)
  • Yann Pequignot (University of California, Los Angeles)

Invited LOCAL Speakers

  • Lorenz Halbeisen (ETH Zürich)

Links to previous meetings:

Logic Colloquium 2018, Udine, July 23 – 28, 2018

The Logic Col­lo­quium 2018 is the an­nual Eu­ro­pean summer meeting of the As­so­ci­a­tion of Sym­bolic Logic (ASL), that will be held during July 23—28, 2018 at the Uni­ver­sity of Udine, Italy.

Godel Lecture

Tu­to­rial Speakers

 Ple­nary Speakers

De­scrip­tive set theory and dy­nam­ical sys­tems
Chairs: Asger Törn­quist, Ben Miller
Todor Tsankov Uni­ver­sité Paris Diderot
Julien Melleray Uni­ver­sité Lyon I
Robin Tuck­er-­Drob Texas A&M Uni­ver­sity
Clinton Conley Carnegie Mellon Uni­ver­sity


The Pro­gram Com­mittee mem­bers are:

The Local Or­ga­nizing Com­mittee in­cludes:

Iterated Forcing Theory and Cardinal Invariants, Kyoto, November 6 – 9, 2017

RIMS Workshop on Iterated Forcing Theory and Cardinal Invariants
November 6 – 9, 2017
at the Research Institute for Mathematical Sciences (RIMS), Kyoto University

ORGANIZER: Jörg Brendle (Kobe)

MINICOURSE: Diego Mejía (Shizuoka)  Recent (and not that recent) forcing techniques on finite support iterations


  • David Asperó (Norwich) Few new reals
  • Fabiana Castiblanco (Münster)
  • David Chodounský (Praha)
  • Monroe Eskew (Wien) Local saturation at every successor cardinal
  • JiaLiang He (Chengdu) An elementary proof of p = t
  • Daisuke Ikegami (Tokyo) On supercompactness of $\omega_1$
  • Hiromi Ishii (Tsukuba) Reflection Principle and construction of saturated ideals on $\mathcal P_{\omega_1}(\lambda)$
  • Yo Matsubara (Nagoya) On the existence of skinny stationary subsets
  • Tadatoshi Miyamoto (Nagoya) No Suslin trees but a non-special Aronszajn tree exists by a side condition
  • Francesco Parente (Norwich) Keisler’s order via Boolean ultrapowers
  • André Rodrigues (Kobe)
  • Hiroshi Sakai (Kobe) On models generated by uncountable indiscernible sequences
  • Dmitri Shakhmatov (Matsuyama) Compactness-like properties de ned by open-point games and maximal almost disjoint families
  • Toshimichi Usuba (Tokyo) $G_\delta$ modification and large cardinals
  • Teruyuki Yorioka (Shizuoka) Aspero-Mota’s finitely proper forcing axiom and k-entangled sets of reals
  • Yasuo Yoshinobu (Nagoya) A further variation of the Banach-Mazur game and forcing axioms

The 14th International Workshop on Set Theory in Luminy, October 9-13, 2017

14th International Workshop in Set Theory
October 9 – 13 2017
CIRM, Luminy, Marseille

Organizers: M. Dzamonja, M. Magidor, B. Velickovic, H. Woodin

MONDAY, October 9 2017


9:20 – 9:50 A. APTER (CUNY, Baruch College and the Graduate Center, NY, USA)
Tall, strong, and strongly compact cardinals

10:00-10:30 V. FISCHER (Kurt Gödel Research Center, University of Vienna)
Bounding, splitting and almost disjointness can be quite different

10:30 – 11:00 Coffee break

11:00 – 11:50 R. SCHINDLER (Muenster University, Germany)
Varsovian models with more Woodin cardinals

12:00 – 12:30 P. WELCH (University of Bristol, UK)
Characterizing the Hartig quantifier model


16:00 – 16:30 M. ZEMAN. (University of California, Irvine, USA)
An iteration strategy for the model $K^c$.

16:40 – 17:10 H. SAKAI (Kobe University, Japan)
On models generated by uncountable indiscernible sequences

17:10 – 17:40 Coffee break

17:40 – 18:30 J. BRENDLE (Kobe University, Japan)
Rearrangements and subseries

18:40 – 19:10 D. LECOMTE (Université de Pierre et Marie Curie, Paris)
Borel complexity of equivalence relations

TUESDAY, October 10 2017


9:00 – 9:50 J. D. HAMKINS (City University of New York, USA)
The hierarchy of second-order set theories between GBC and KM and beyond

10:00 – 10:30 J. KRUEGER (University of North Texas, Denton, TX, USA)
Club isomorphisms on higher Aronszajn trees

10:30 – 11:10 Coffee break

11:10 – 12:00 L. FONTANELLA (Université d’Aix-Marseille, France)
From forcing models to realizability models


16:00 – 16:50 A. RINOT (Bar-Ilan University, Israel)
Distributive Aronszajn trees

16:50 – 17:20 Coffee break

17:20 – 17:50 M. FOREMAN (UC Irvine, CA, USA)
An independence result involving diffeomorphisms of the torus

18:00 – 18:30 L. ZDOMSKYY (TU Wien, Austria)
Vitali-Hahn-Saks property of Boolean algebras in forcing extensions

18:40 – 19:10 T. TSANKOV (IMJ-PRG, University of Paris Diderot, Paris, France)
Universal minimal flows relative to a URS

WEDNESDAY, October 11 2017


9:00 – 9:30 J. MOORE (Cornell University, Ithaca, NY, USA)
On non sigma-scattered linear orders

9:40 – 10:30 L. MOTTO ROS (University of Torino, Italy)
Generalized descriptive set theory and classification

10:30 – 11:00 Coffee break

11:00 – 11:50 P. KOSZMIDER (IMPAN, Warsaw, Poland)
Noncommutative thin-tall algebras

12:00 – 12:30 D. SOUKUP ((KGRC, University of Vienna, Austria)
Monochromatic sumsets for colorings of R

AFTERNOON – Excursion to Marseille and dinner at the restaurant Les Arcenaulx

THURSDAY, October 12 2017


9:00 – 9:50 D. SINAPOVA (Univ. of Illinois, Chicago, IL, USA)
Prikry type forcing and combinatorial principles

10:00 – 10:30 O. BEN NERIA (UC Los Angeles, CA, USA)
Singular stationarity

10:30 – 11.10 Coffee break

11:10 – 12:00 S. GAO (University of North Texas, Denton, TX, USA)
Non-Archimedean Abelian Polish Groups and Their Actions


16:00 – 16:50 N. DOBRINEN (University of Denver, CO, USA)
The universal homogeneous triangle-free graph has finite big Ramsey degrees

17:00 – 17:30 S. THOMAS (Rutgers University, New Brunswick, USA)
The isomorphism and bi-embeddability relation for countable torsion abelian groups

17:30 – 17:50 Coffee Break

17:50 – 18:40 M. VIALE (University of Torino, Italy)
An overview on category forcing

18:50-19:20 P. SCHLICHT (Univ. Bonn, Germany)
The Hurewicz dichotomy for definable subsets of generalized Baire spaces

FRIDAY, October 13 2017


9:00 – 9:30 A. VIGNATI (IMJ-PRG, University of Paris Diderot, Paris, France)
Set theory and C*-algebras: automorphisms of continuous quotients

9:40 – 10:30 S. UNGER (Tel Aviv University, Israel)
Successives failures of approachability

10:30 – 11:00 Coffee break

11:10 – 12:00 H. MILDENBERGER (Albert Ludwigs Univ. Freiburg, Germany)
Local Ramsey Spaces in Matet Forcing Extensions

12:00 – 12:30 I. NEEMAN (UC, Los Angeles, USA)
Embedding theorem and regularity properties under AD^+



MAMLS Logic Friday, New York, October 27, 2017

Mid-Atlantic Mathematical Logic Seminar

CUNY Graduate Center

October 27, 2017

Room 6417

MAMLS Logic Friday is a one-day logic meeting taking place at the CUNY Graduate Center with the support of the National Science Foundation. It will feature talks in set theory, computability theory, and model theory.

While graduate students, young researchers, female mathematicians and members of underrepresented groups are particularly encouraged to apply for travel support, it should be stressed that any participants without their own sources of funding are eligible to apply. Requests will be handled on a case-by-case basis within the limits of the budget. To apply for travel support or to find out more information, please contact Victoria Gitman (

Information about hotels can be found here.



Breakfast (Math Lounge 4214)

Morning Session

Ivo Herzog
The Logic of Positive Primitive Formulae
We will discuss the structure of positive primitive formulae in the language of modules over a ring R. This structure includes two cubical lattices related by the Prest dual. We place particular emphasis on the resemblance of positive primitive logic to quantum logic and von Neumann’s work on the coordinatization of complemented modular lattices. For a ring (R,*) with involution, this gives rise to a quantum logic coordinatized by a *-regular ring obtained by adjusting a classical construction of Olivier for commutative rings.

Tim McNicholl
Computable metric structure theory
I will begin by reviewing the evolution of computable structure theory beginning with its origins in the work of van der Waerden on constructive algebra. I will then discuss recent work on extending the computable structures program to metric structures by means of the framework of computable analysis. I will focus on Banach spaces, and in particular recent results on computable categoricity and degrees of categoricity of

spaces. The solutions of some of the resulting problems involve am interesting blend of methods from functional analysis and classical computability theory.


Lunch Break

Afternoon Session

Chris Lambie-Hanson
Reflections on graph coloring
In 1951, de Bruijn and Erdős published a compactness theorem for graphs with finite chromatic number, proving that, if is a graph, is a natural number, and all finite subgraphs of have chromatic number at most , then has chromatic number at most . Since then, infinitary generalizations of this theorem, for the chromatic number as well as the coloring number of graphs, have attracted much attention. In this talk, we will briefly review some of the historical highlights in this area and then present some new work. These results show that the coloring number can exhibit only a limited amount of incompactness, while large amounts of incompactness for the chromatic number are implied by relatively weak hypotheses. This indicates that the coloring number and chromatic number behave quite differently with respect tocompactness and illustrates the difficulty involved in obtaining infinitary analogues of the de Bruijn-Erdős result at infinite, accessible cardinals. This is joint work with Assaf Rinot.

Matthew Harrison-Trainor
Some Computable Structure Theory of Finitely Generated Structures
Every countable structure has a sentence of infinitary logic, called a Scott sentence, which describes it up to isomorphism among countable structures. We can characterize the complexity of a structure by the complexity of the simplest description of that structure. A finitely generated structure always has a

description. We show that there is a finitely generated group which has no simpler description. The proof of this leads us to talk about notions of universality for finitely generated structures. Finitely generated groups are universal, but finitely generated fields are not. By this, we mean that for every finitely generated structure, there is a finitely generated group which has the same computability-theoretic properties; but the same is not true for finitely generated fields. We apply the results of this investigation to pseudo Scott sentences.

Stamatis Dimopoulos
Woodin-for-strong-compactness cardinals, a new identity crisis
Woodin and Vopěnka cardinals are established notions in the large cardinal hierarchy and despite being defined in different context, they proved to be very similar. In fact, Vopěnka cardinals are obtained by replacing a strongness clause in the definition of Woodinness by a supercompactness clause. Since strong compactness is an intermediate large cardinal notion between strongness and supercompactness, it is natural to consider a “Woodinised” version of it. In this talk, we give the definition of this new type of large cardinal, called Woodin for strong compactness, and will present some results about them. The highlight is that the analogue of Magidor’s “identity crisis” theorem for the first strongly compact holds for these cardinals too: the first Woodin for strong compactness cardinal can consistently be the first Woodin or the first Vopěnka cardinal.

1st Mexico-USA Logic Fest, Mexico City, January 10 – 13, 2018

The First Mexico-USA Logic Fest brings together logicians of the two countries, Mexico and the United States, and worldwide friends in order to join forces in research by exchanging ideas, creating graduate student exchange networks and otherwise collaborating.

Venue: ITAM, Mexico City (in the historic neighborhood of San Angel).


This first meeting takes place over 4 days, from Wednesday the 10th to Saturday the 13th of January 2018, with a schedule that includes 17 talks. The rest of the time will be devoted to doing mathematics, as well as to discussing how to strengthen the scientific links between Mexico and the United States. On Saturday 13th, after a couple of talks, we will also have a small excursion.

Invited participants/speakers:

  • Juan Pablo Aguilera
  • Arthur Apter
  • David Aspero
  • Mirna Džamonja
  • David Fernandez Duque
  • Fernando Hernandez Hernandez
  • Michael Hrusak
  • John Krueger
  • Christian Rosendal
  • Grigor Sargsyan
  • John Steel
  • Stevo Todorcevic
  • Victor Torres Perez
  • Anush Tserunyan
  • Jouko Väänänen
  • Andrés Villaveces
  • Hugh Woodin



If you want to join us, please contact us at
The conference fee is 2000 mexican pesos (approximately 120 usd) per participant. It includes lunch and coffee from Wednesday 10 to Friday 12 as well as the social dinner on Friday 12.

We can provide free accommodation (at Hotel El Diplomático or in one of ITAM’s apartments in front of the campus) from Tuesday 9 to Sunday 14 (5 nights) only to those participants giving a talk. If you are not giving a talk (but you want to stay at Hotel El Diplomático), we kindly ask you to do your own arrangements at

Descriptive Set Theory in Turin, September 6 – 8, 2017

Descriptive Set Theory in Turin Date and place: September 6th to 8th, 2017 – Torino (Italy)

Organizers: Alessandro Andretta, Gianluca Basso, Riccardo Camerlo, Vassilis Gregoriades, Luca Motto Ros and Matteo Viale Location: Department of Mathematics “Giuseppe Peano”, Palazzo Campana, via Carlo Alberto 10, Torino. All talks will take place in Aula A, ground floor. To reach Aula A, enter the building, turn right in the first corridor, at the end which you will turn left. At the end of this corridor turn left again and exit in the courtyard. In front of you is Aula A. Useful information Program Day 1 – Wednesday, September 6 09:00 – Registration 09:30 to 10:20 – Gabriel Debs 10:30 to 11:00 – Coffee Break 11:00 to 11:25 – Dominique Lecomte 11:30 to 11:55 – Miroslav Zeleny 12:00 to 13:30 – Lunch 13:30 – 14:30 Discussion Session: Contributions by Silvia Steila, Yann Pequignot, Itaï Ben Yacoov, and Jean Saint-Raymond. 14:30 to 14:55 – Sy-David Friedman 15:00 to 15:50 – Forte Shinko 16:00 to 16:30 – Coffee Break 16:30 to 16:55 – Maciej Malicki 17:00 to 17:25 – Philipp Schlicht Day 2 – Thursday, September 7 09:00 to 09:50 – Julien Melleray 10:00 to 10:25 – Mirna Dzamonja 10:30 to 11:00 – Coffee Break 11:00 to 11:25 – Donát Nagy 11:30 to 11:55 – Márk Poór 12:00 to 13:30 – Lunch 13:30 – 14:30 Discussion Session: Contributions by Dorottya Sziraki, Riccardo Camerlo, Louis Vuilleumier, and Petr Holicky. 14:30 to 14:55 – Jacques Duparc 15:00 to 15:25 – Vladimir Kanovei 15:30 to 15:55 – Pandelis Dodos 16:00 to 16:30 – Coffee Break 16:30 to 16:55 – Raphael Carroy 17:00 to 17:25 – Lionel Nguyen Van Thé Day 3 – Friday, September 8 09:00 to 09:50 – Stephen Jackson 10:00 to 10:25 – Michal Doucha 10:30 to 11:00 – Coffee Break 11:00 to 11:25 – Vojta Kovarik 11:30 to 11:55 – Filippo Calderoni 12:00 to 13:30 – Lunch 13:30 – 14:30 Discussion Session: Contributions by Filippo Cavallari, Vibeke Quorning, Giorgio Laguzzi, and Andrea Vaccaro. 14:30 to 14:55 – Asger Tornquist 15:00 to 15:25 – David Schrittesser 16:00 – Coffee and farewell

Registered Participants

  1. Alessandro Andretta, Università di Torino.
  2. Gianluca Basso, Université de Lausanne and Università di Torino.
  3. Itaï Ben Yaacov, Université Claude Bernard Lyon 1.
  4. Filippo Calderoni, Università di Torino.
  5. Riccardo Camerlo, Polytechnic of Turin.
  6. Raphael Carroy, Kurt Gödel Research Center.
  7. Filippo Cavallari, University of Turin, University of Lausanne.
  8. Gabriel Debs, Institut Mathématique de Jussieu.
  9. Pandelis Dodos, Department of Mathematics, University of Athens.
  10. Michal Doucha, Institute of Mathematics, Czech Academy of Sciences.
  11. Jacques Duparc, University of Lausanne.
  12. Mirna Dzamonja, University of East Anglia.
  13. Sy-David Friedman, Kurt Gödel Research Center, U.Vienna.
  14. Vassilios Gregoriades, University of Turin.
  15. Petr Holicky, Charles University, Prague.
  16. Stephen Jackson, University of North Texas.
  17. Vladimir Kanovei, Institute for the Information Transmission Problems.
  18. Vojta Kovarik, Charles University, Prague.
  19. Giorgio Laguzzi, University of Freiburg.
  20. Dominique Lecomte, Université Pierre et Marie Curie.
  21. Maciej Malicki, Warsaw School of Economics.
  22. Julien Melleray, Université Lyon 1.
  23. Luca Motto Ros, University of Turin.
  24. Donát Nagy, Eötvös Loránd University, Budapest.
  25. Lionel Nguyen Van Thé, Aix-Marseille University.
  26. Yann Pequignot, University of California, Los Angeles.
  27. Márk Poór, Eötvös University, Budapest.
  28. Vibeke Quorning, University of Copenhagen.
  29. Jean Saint Raymond, Université Pierre et Marie Curie – Paris 6.
  30. Philipp Schlicht, University of Bonn.
  31. David Schrittesser, Kurt Gödel Research Center.
  32. Forte Shinko, McGill University.
  33. Silvia Steila, University of Bern.
  34. Dorottya Sziraki, Alfred Renyi Institute of Mathematics, and Central European University.
  35. Asger Tornquist, University of Copenhagen.
  36. Andrea Vaccaro, Università di Pisa – York University.
  37. Matteo Viale, Università di Torino.
  38. Louis Vuilleumier, Université de Lausanne.
  39. Domenico Zambella, Università di Torino.
  40. Miroslav Zeleny, Faculty of mathematics and physics, Charles University, Prague, Czech Republic.

Sponsors The workshop is generously funded by – The Department of mathematics “Giuseppe Peano” – Programma Giovani Ricercatori “Rita Levi Montalcini”, “Nuovi sviluppi in teoria descrittiva degli insiemi”, (PI:Luca Motto Ros) – PRIN 2012 “Modelli e insiemi” (PI: Carlo Toffalori)