Category Archives: Conferences

Set Theory and its Applications in Topology, September 11-16, 2016

The meeting took place in Oaxaca, Mexico. The slides may be found below.

08:45 – 09:00 Introduction and Welcome (Conference Room San Felipe)
09:00 – 10:00 Alan Dow: The even numbered problems (Conference Room San Felipe)
10:00 – 10:30 Rodrigo Jesus Hernandez Gutierrez: Spaces discretely generated at infinity (Conference Room San Felipe)
10:30 – 11:00 Coffee Break (Conference Room San Felipe)
11:00 – 11:30 Isván Juhász: Lindelöf spaces of countable pseudocharacter (Conference Room San Felipe)
11:30 – 12:00 Juris Steprans: PID and universal graphs (Conference Room San Felipe)
13:20 – 13:30 Group Photo (Hotel Hacienda Los Laureles)
13:30 – 15:00 Lunch (Restaurant Hotel Hacienda Los Laureles)
15:00 – 16:00 Itay Neeman: Forcing one instance of the Moore-Todorcevic principle (Conference Room San Felipe)
16:00 – 16:30 Coffee Break (Conference Room San Felipe)
16:30 – 17:00 James Cummings: Dowker and super-Dowker filters (Conference Room San Felipe)
17:00 – 17:30 Assaf Rinot: The $\omega_2$-Souslin problem (Conference Room San Felipe)
19:00 – 21:00 Dinner (Restaurant Hotel Hacienda Los Laureles)
Tuesday, September 13
07:30 – 09:00 Breakfast (Restaurant at your assigned hotel)
09:00 – 10:00 Christina Brech: Bases of Homogeneous families bellow the first Mahlo cardinal (Conference Room San Felipe)
10:30 – 11:00 Coffee Break (Conference Room San Felipe)
11:00 – 11:30 Piotr Koszmider: A non-commutative Mrówka’s $\Psi$-space (Conference Room San Felipe)
11:30 – 12:00 Asger Tornquist: Invariant descriptive set theory and almost disjointness modulo an ideal (Conference Room San Felipe)
13:30 – 15:00 Lunch (Restaurant Hotel Hacienda Los Laureles)
15:00 – 16:00 Alexander Shibakov: Sequential groups: large and small (Conference Room San Felipe)
16:00 – 16:30 Coffee Break (Conference Room San Felipe)
16:30 – 17:00 Jindrich Zapletal: Strong measure zero sets in Polish groups (Conference Room San Felipe)
17:00 – 17:30 Marcin Sabok: On hyperfiniteness of boundary actions of hyperbolic groups (Conference Room San Felipe)
19:00 – 21:00 Dinner (Restaurant Hotel Hacienda Los Laureles)
Wednesday, September 14
07:30 – 09:00 Breakfast (Restaurant at your assigned hotel)
09:00 – 09:30 Joerg Brendle: Q (Conference Room San Felipe)
09:30 – 10:00 Dilip Raghavan: More on the density zero ideal (Conference Room San Felipe)
10:00 – 10:30 Osvaldo Guzmán: Combinatorial properties of MAD families (Conference Room San Felipe)
10:30 – 11:00 Coffee Break (Conference Room San Felipe)
11:00 – 11:30 Victor Torres-Perez: Constructions with oppositions: Cardinal invariants and games (Conference Room San Felipe)
11:30 – 12:00 David Fernández Bretón: Strong failures of higher analogs of Hindman’s theorem (Conference Room San Felipe)
12:00 – 12:30 Natasha Dobrinen: Topological Ramsey spaces in some creature forcings (Conference Room San Felipe)
12:30 – 13:30 Lunch (Restaurant Hotel Hacienda Los Laureles)
13:30 – 17:30 Free Afternoon (Oaxaca)
19:00 – 21:00 Dinner (Restaurant Hotel Hacienda Los Laureles)
Thursday, September 15
07:30 – 09:00 Breakfast (Restaurant at your assigned hotel)
09:00 – 10:00 Slawomir Solecki: Monoid actions on left-topological compact semigroups (Conference Room San Felipe)
10:30 – 11:00 Coffee Break (Conference Room San Felipe)
11:00 – 11:30 Aleksandra Kwiatkowska: The Ramsey degree of the pre-pseudoarc (Conference Room San Felipe)
11:30 – 12:00 Dana Bartosova: Ultrafilter combinatorics in topological dynamics (Conference Room San Felipe)
13:30 – 15:00 Lunch (Restaurant Hotel Hacienda Los Laureles)
15:00 – 16:00 Jan van Mill: Erdős spaces (Conference Room San Felipe)
16:00 – 16:30 Coffee Break (Conference Room San Felipe)
16:30 – 17:00 Anush Tserunyan: Topological dimension and Baire category (Conference Room San Felipe)
17:00 – 17:30 Yinhe Peng: Weak network and the basis problem (Conference Room San Felipe)
19:00 – 21:00 Dinner (Restaurant Hotel Hacienda Los Laureles)
Friday, September 16
07:30 – 09:00 Breakfast (Restaurant at your assigned hotel)
09:00 – 09:30 Jeffrey Bergfalk: Walks… (Conference Room San Felipe)
09:30 – 10:00 Iian Smythe: A local Ramsey theory for block sequences (Conference Room San Felipe)
10:00 – 10:30 Noé de Rancourt: Ramsey theory with and without the pigeonhole principle (Conference Room San Felipe)
10:30 – 11:00 Coffee Break (Conference Room San Felipe)
11:00 – 11:30 Claribet Piña: Topological partition relations for $\omega^2$ (Conference Room San Felipe)
11:30 – 12:00 Carlos Uzcategui: Bases and selectors for cofinal families of countable sets (Conference Room San Felipe)
12:00 – 12:30 Carlos Di Prisco: Graphs on the Cantor set (Conference Room San Felipe)
12:30 – 14:30 Lunch (Restaurant Hotel Hacienda Los Laureles)


Appalachian Set Theory workshop: Maryanthe Malliaris, November 5, 2016

The next meeting of the Appalachian Set Theory workshop series will take place
at CMU and may be of interest to the Pittsburgh logic community.

Maryanthe Malliaris will lead a workshop on “Cofinality spectrum
problems: p, t, and model theory”.

For details please see the workshop web page at

The Appalachian Set Theory workshop series is supported by the National
Science Foundation.

BEST 2016 slides

The 23rd BEST conference was held June 15–16 in San Diego, CA.

Shehzad Ahmed – Jonsson cardinals and pcf theory
Liljana Babinkostova – A weakening of the closure operator
Kyle Beserra – On the conjugacy problem for automorphisms of countable regular trees
Erin Carmody – Killing them softly
William Chan – Every analytic equivalence relation with all Borel classes is Borel somewhere
John Clemens – Relative primeness of equivalence relations
Paul Corazza – The axiom of infinity, quantum field theory, and large cardinals
Cody Dance – Indiscernibles for $L[T_2,x]$
Natasha Dobrinen – Ramsey spaces coding universal triangle-free graphs and applications to Ramsey degrees
Paul Ellis – A Borel amalgamation property
Monroe Eskew – Rigid ideals
Daniel Hathaway – Disjoint Borel functions
Jared Holshouser – Partition properties for non-ordinal sets under the axiom of determinacy
Paul McKenney – Automorphisms of $\mathcal P(\lambda)/\mathcal I_\kappa
Kaethe Minden – Subcomplete forcing and trees
Daniel Soukup – Orientations of graphs with uncountable chromatic number
Simon Thomas – The isomorphism and bi-embeddability relations for finitely generated groups
Douglas Ulrich – A new notion of cardinality for countable first order theories
Kameryn Williams – Minimal models of Kelley-Morse set theory
Martin Zeman – Master conditions from huge embeddings

Set theory workshop at UIC, October 20-23, 2016

Set theory workshop

The workshop will be held at the University of Illinois at Chicago on October 20-23. Topic will cover forcing, large cardinals, applications of set theory. We will have three tutorials from leading experts and several talks by younger researchers.

The invited speakers are:


Travel support is available. Requests for such should be directed to Dima Sinapova at Such requests will be handled on a case-by-case basis within the limits of the budget. Graduate students, young researchers, female mathematicians and members of underrepresented groups are particularly encouraged to apply.




  • Matt Foreman (UC Irvine)Applications of descriptive set theory to classical dynamical systems

    In 1932 von Neumann proposed the project of classifying smooth measure preserving transformations. As part of the project he raised the question of whether every ergodic measure preserving transformation of the unit interval is isomorphic to a diffeomorphism of a manifold.
    Despite deep progress on both questions, they remained open until recently. The lecture presents joint work with B. Weiss that shows that the classification problem is impossible to solve–because the associated equivalence relation is not Borel (and moreover is strictly more complicated than any $S^\infty$-action). Along the way the authors made progress on the second problem, by showing that a quasi-generic class of transformations can be realized as diffeomorphisms of the 2-torus. This class is the source of the complexity of the classification problem.


  • Menachem Magidor (Jerulasem)Compactness for chromatic numbers and other cardinal sins

    A compactness principle is a statement of the form: If every small substructure of a given structure has a certian property, then the whole structure has this property. In this tutorial we shall deal with the property “The graph G has chromatic number <= \kappa”. We shall connect this property with other set theoretical principles, like reflection of stationary sets, give some consistency results using large cardinals and list some interesting open problems.


  • Justin Moore (Cornell)Iterated forcing and the Continuum Hypothesis

    One of the great successes in set theory in the 1970s and 80s has been the isolation of an optimal hypothesis for iterating forcings while preserving uncountablity. It turns out that while there is a well developed theory of iterating forcings which do not introduce new reals, this theory is necessarily more ad hoc in nature. This tutorial will discuss Shelah’s preservation theorems for not adding reals as well as recently discovered examples which illustrate that these results are, in some sense, sharp.





  • Omer Ben Neria (UCLA)The distance between HOD and V

    The pursuit of better understanding the universe of set theory V motivated an extensive study of definable inner models M whose goal is to serve as good approximations to V. A common property of these inner models is that they are contained in HOD, the universe of hereditarily ordinal definable sets. Motivated by the question of how “close” HOD is to V, we consider various related forcing methods and survey known and new results. This is a joint work with Spencer Unger.


  • Sherwood Hachtman (UIC)Forcing analytic determinacy

    The earliest-known tight connection between determinacy and large cardinals is the theorem of Martin and Harrington that $\Sigma^1_1$ determinacy is equivalent to the existence of $0^{\#}$. All known proofs of the forward implication go through Jensen’s Covering Lemma; Harrington asked whether the theorem can be proved just in second-order arithmetic. We discuss progress on Harrington’s question, building in particular on work of Cheng and Schindler showing that the standard proofs of Harrington’s theorem cannot be carried out in any system substantially weaker than fourth-order arithmetic. We also describe a connection with the proper class games recently described by Gitman and Hamkins.


  • Maxwell Levine (UIC)Weak Squares and Very Good Scales

    The combinatorial properties of large cardinals tend to clash with those satisfied by G\”odel’s constructible universe, especially the square property (denoted $\square_\kappa$) isolated by Jensen in the seventies. Strong cardinal axioms refute the existence of square, but it is possible with some fine-tuning to produce models that exhibit some large cardinal properties together with weakenings of square. In this talk we will exhibit some results along these lines and will outline the techniques used to produce them.


  • Kostyantyn Slutskyy (UIC)Space decomposition techniques in Borel dynamics

    In recent years a substantial progress has been achieved in the field of Borel dynamics. A part of this progress is due to the development of space decomposition methods. The goal of the talk is to make an overview of the old and new results that have been proved along this path. In particular, we will discuss in various degrees of details the following: Dougherty-Jackson-Kechris classification of hyperfinite Borel equivalence relations, Multi-Tower Rokhlin Lemma for Borel automorphisms and regular cross sections of Borel flows, Lebesgue orbit equivalence of multidimensional flows, and Hochman’s proof of existence of finite generators for compressible automorphisms.


  • Nam Trang (UC Irvine)Compactness of $\omega_1$

    We investigate various aspects of compactness of $\omega_1$ under ZF + DC. We say that $\omega_1$ is X-supercompact if there is a normal, fine, countably complete nonprincipal measure on $\mathcal P_{\omega_1}(X)$ (in the sense of Solovay). We say $\omega_1$ is X-strongly compact if there is a fine, countably complete nonprincipal measure on $\mathcal P_{\omega_1}(X)$. We discuss various results in constructing and analyzing canonical models of $AD^+$ + $\omega_1$ is (X)-supercompact. We also discuss whether the theories “$\omega_1$ is X-supercompact” and “$\omega_1$ is X-strongly compact” can be equiconsistent for various X.


  • Anush Tserunyan (UIUC)


  • Spencer Unger (UCLA)The poor man’s tree property

    Motivated by producing a model where no regular cardinal greater than $\aleph_1$ carries a special Aronszajn tree, we prove that from large cardinals it is consistent that $\aleph_{\omega^2}$ is strong limit and there are no special Aronszajn trees on any regular cardinal in the interval $[\aleph_2,\aleph_{\omega^2+3}]$.


Infinite Combinatorics and Forcing Theory, Kyoto, November 28 – December 1, 2016

RIMS Workshop on Infinite Combinatorics and Forcing Theory
November 28 – December 1, 2016
at the Research Institute for Mathematical Sciences (RIMS), Kyoto University

The workshop website:

Tutorial speakers:


RIMS workshop is held in almost every year at the RIMS, Kyoto University in Kyoto city.
The topic of the workshop is set theory and its applications.
Its goal is to bring together researchers in these areas from Japan
and abroad and to foster academic exchange.
The program will feature two tutorials.
Additionally, we expect many talks, in particular by junior
participants, both from Japan and abroad.

Participants are encouraged to contribute with a talk.
If you are interested, please send an email to the organizer:
Teruyuki Yorioka (Shizuoka University)

Teruyuki Yorioka (Shizuoka University)

Scientific Committee:
Joerg Brendle (Kobe University)
Diego A. Mejía (Shizuoka University)

2016 Graduate summer school in set theory, Irvine, July 25 – August 5 2016

A graduate summer school in set theory will be held July 25 – August 5 2016 at the University of California Irvine.

The subject of the summer school will be singular cardinal combinatorics, with a focus on PCF theory. The school will begin with a thorough treatment of PCF and related topics in combinatorial set theory, including club guessing and approachability. After this the school will treat interactions between PCF and other areas of set theory (including for example large cardinals, forcing axioms, reflection principles and squares).

The instructors will include James Cummings (CMU) and Christopher Lambie-Hanson (Hebrew University of Jerusalem). Lectures will be held Monday-Friday in each of the weeks July 25-29 and August 1-5. Each day will include two 90-minute lectures and two 90-minute discussion periods.

Participants will be housed in student housing on the Irvine campus. The school will fully support US citizens and permanent residents: this includes housing, meals, and travel costs (from US cities using US carriers).

If you are a graduate student and are interested in attending the summer school, please write to with a short statement about your background in set theory and your interest in attending.

The web page for the summer school is

This summer school is supported by the National Science Foundation grant DMS-1044150 as part of the program EMSW21-RTG: Logic in Southern California.

1st Irvine Conference on Descriptive Inner Model Theory and HOD Mice, July 18-29 2016

1st Irvine Conference on Descriptive Inner Model Theory and HOD Mice

July 18 — 29, 2016
Department of Mathematics, UC Irvine

Supported by: NSF Grants DMS-x, DMS- 1044150, DMS-y, and UCI CORCL

Organizers: Grigor Sargsyan (Rutgers), Nam Trang (Irvine), Martin Zeman

This workshop is a sequel to a series of conferences and workshops on
descriptive inner model theory including 1st Conference on the core model
induction and hod mice that was held in Münster (FRG), July 19 — August
06, 2010, the 2nd Conference on the core model induction and hod mice that
was held in Münster (FRG), August 08 — 19, 2011, the AIM Workshop on
Descriptive Inner Model Theory held in Palo Alto (CA), June 02 — 06,
2014, and to the Conference on Descriptive Inner Model Theory, held in
Berkeley (CA) June 09 — 13, 2014, and the 3rd Conference on the core
model induction and hod mice, held in Münster (FRG), July 20 — 31, 2015.

The main purpose of the workshop is to disseminate and communicate results
and recent development in descriptive inner model theory and related
subjects. The workshop consists of single talks by experts in the field on
their recent work as well as lectures aimed at advanced graduate students
interested in inner model theory and related fields.

Following past workshops, the first week of the workshop meets M–F; each
day consists of 4 lectures (each is 75 minutes long), 2 in the morning and
2 in the afternoon. Between the lectures, we will leave plenty of time for
discussions, lunch, and informal seminars. The second week will be more
informal; as in the past, the topics and speakers for the second week will
be decided during the first week of the meeting.

All lectures will take place in Natural Scienes II building, room 1201.

The organizers gratefully acknowledge the financial support from the
National Science Foundation (NSF).

23rd Boise Extravaganza in Set Theory, June 15-16, 2016

Conference Website:
DATE: June 15 – 16, 2016
WHERE: University of San Diego

The 23-rd annual meeting of BEST will be hosted at the University of San Diego as a symposium of the 97th annual meeting of the American Association for the Advancement of Science – Pacific Division (AAAS-PD). Contributed and invited talks at BEST will be held on Wednesday and Thursday.
In addition to the invited speakers, the conference program has several speaking slots for shorter talks. We strongly encourage students, post docs and pre-tenure tenure track faculty to present at BEST. NSF supported funding to assist a limited number of student speakers, post-doc speakers and pre-tenure tenure track faculty speakers is available. For details on applying to the BEST program committee for these, please visit the conference website at the URL provided above. In addition, the AAAS-PD provides up to $150 in travel funding for students. Please see the BEST conference website for more details on these also. There are a number of deadlines associated with applications for a travel grant.

Currently confirmed plenary speakers for BEST 2015 are:

Dr. Erin Carmody, Nebraska Wesleyan University
Dr. Natasha Dobrinen, University of Denver
Dr. Simon Thomas, Rutgers University
Dr. Martin Zeman, University of California – Irvine

Special features of BEST 2016 include:

In addition to the BEST symposium there are several other symposia and workshops of interest offered at the AAAS-PD annual meeting. On Thursday, June 16, the AAAS-PD hosts a banquet at which awards of excellence are given to student speakers selected by a panel of judges.

Student, post-doc and pre-tenure tenure track speakers are strongly encouraged to apply to BEST for an NSF-funded travel award. The travel expenses (airfare and lodging) of awarded speakers will be reimbursed up to the maximum amount of the award, and registration fees of awardees will be reimbursed.

BEST seeks to promote student participation in the conference via short (20 minute) presentations. To this end there are eight (8) NSF funded BEST travel awards available for students. To apply for one of these awards, please follow the instructions given at the BEST website.

In addition to the BEST travel awards, up to 20 travel awards of up to $150 each are also available from the AAAS-PD to help students (including students participating in BEST) defray travel expenses to participate in the AAAS-PD annual meeting. Winners of these AAAS-PD travel awards will be announced at the AAAS-PD student award banquet. Student participants will be guests at this banquet.

BEST also seeks to be a forum for early career set theoretic scholars. In particular there are NSF funded BEST travel awards available for post-docs, and for pre-tenure tenure track faculty. To apply for one of these awards, please follow the instructions given at the BEST website.\


The BEST schedule will also have a number of slots for 25 minute contributed talks. Anyone wishing to speak at BEST 2016 should submit an abstract as soon as possible (preferably prior to April 05) at the abstract submission site. It is strongly recommended to also contact one of the organizers as soon as possible to indicate interest/intention in presenting a talk at BEST 2016.

Important deadlines:

DEADLINE 1: REGISTRATION: Please consult for registration costs and deadlines. Registration fees depend on date of registration. We kindly request that Ph.D. mathematicians planning to participate in BEST 2016 consider acting as judges for the student presentations. The registration form has a place where willingness to act\’a0 as a judge can be indicated.

There are also a number of excursions available that can be indicated on the registration form. Also consider attending the awards banquet in support of our student speakers – meal choices are available on the registration form.

DEADLINE 2: ABSTRACTS: Atlas Conferences, Inc. is providing abstract services for BEST 2016. Abstracts submitted by April 5 will appear in the proceedings of the annual conference of the AAAS-PD. The url for the abstract submission is available at the BEST 2016 website.

DEADLINE 3: TRAVEL GRANTS: Presenting students, post-docs or pre-tenure tenure track faculty, please complete the application process to BEST by May 15. See the BEST 2016 website for details. Students, the deadline for the AAAS-PD student travel grants is May 1, 5:00 p.m. Pacific time.

Organized by Liljana Babinkostova, Sam Coskey and Marion Scheepers.

For any questions, please contact an organizer or e-mail

Colloquium Logicum 2016

Call for Papers


10-12 September 2016, Hamburg, Germany

Submission deadline: 20 June, 2016

The Colloquium Logicum is organized every two years by the “Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften” (DVMLG).

In 2016 the colloquium is organized by the group “Mathematical Logic and Interdisciplinary Applications of Logic” of the University of Hamburg, Germany.

The conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence.

Keynote Speakers.

* Dana Bartosova (São Paulo, Brazil)
* Elisabeth Bouscaren (Paris, France)
* Ekaterina Fokina (Vienna, Austria)
* Laura Fontanella (Jerusalem, Israel)
* Philipp Hieronymi (Urbana-Champaign, IL, USA)
* Rosalie Iemhoff (Utrecht, the Netherlands)
* Gyesik Lee (Anseong, South Korea)
* Norbert Preining (JAIST, Nomi, Ishikawa, Japan)
* Szymon Toruńczyk (Warsaw, Poland)
* Charlotte Werndl (Salzburg, Austria and London, UK)

In addition to the keynote talks, there will be a “PhD Colloquium” with invited presentations of excellent recent PhD graduates.

The programme committee invites the submission of abstracts of papers of all fields of research covered by the DVMLG: mathematical logic and the foundations of the exact sciences (including logic in philosophy, computer science and artificial intelligence).

Abstracts should have between 100 and 500 words and are to be submitted via the easychair submission page


The submission deadline is

* Monday, 20 June, 2016.

Authors of papers will be notified about acceptance soon after that.

Programme Committee

* Matthias Aschenbrenner (Los Angeles, USA)
* Arnold Beckmann (Swansea, USA)
* Manuel Bodirsky (Dresden, Germany)
* Martin Hils (Paris, France)
* Benedikt Löwe (Amsterdam, the Netherlands and Hamburg, Germany)
* Thomas Müller (Konstanz, Germany)
* Anca Muscholl (Bordeaux, France)
* Michael Rathjen (Leeds, UK)
* Olivier Roy (Bayreuth, Germany)
* Nicole Schweikardt (Berlin, Germany)
* Mariya Soskova (Sofia, Bulgaria)
* Martin Ziegler (Daejeon, South Korea)



The Colloquium Logicum 2016 is generously funded by the Deutsche Forschungsgemeinschaft (DFG-grant LO 834/14-1)

If you have any questions, please contact us by email at

New York Graduate Student Logic Conference

We are pleased to announce the fifth New York Graduate Student Logic Conference will be held Thursday and Friday, May 12-13, 2016, at the CUNY Graduate Center located in midtown Manhattan. We are honored that Matt Foreman of University of California, Irvine will be our plenary speaker.

The goal of the NY Graduate Student Logic Conferences is to promote graduate education in logic by bringing together the best graduate students working in any part of the subject. Students meet and hear talks by other students in logic, give talks on their own research or on their research area, and have the opportunity to interact with senior logicians. While there is no fee for participants, please do register at
Modest support for travel expenses is available; please apply with registration if needed.

The organizers Shoshana Friedman of KBCC, CUNY, and Sheila Miller of City Tech, CUNY invite students of mathematical logic and related areas to submit abstracts for talks. Talks may be either on original research or expository in nature, and should be directed at other students of logic. Please submit abstracts to In your e-mail please give your full name, postal address and email address, the name of your institution, number of years in the program, and the name of a reference who is familiar with your work, together with the contact information of that person. Your abstracts should reach us by March 25, 2016.