Miguel Angel Mota: Measuring together with the continuum large

Place: TBD

Date: July 15th , 2016 (13:30-15:00)

Speaker: Miguel Angel Mota

Title: Measuring together with the continuum large

Abstract:  Measuring, as defined by Justin Moore, says that for every sequence $(C(\delta))_{\delta<\omega_1}$ with each $C(\delta)$ being a closed subset of $\delta$ there is a club $C\subseteq\omega_1$ such that for every $\delta \in C$, a tail of $C\cap\delta $ is either contained in or disjoint from $C(\delta)$. We answer a question of Justin Moore by building a forcing extension satisfying measuring together with $2^{\aleph_0}>\aleph_2$.

6th European Set Theory Conference, Budapest, July 3-7, 2017


We are pleased to announce that the 6th European Set Theory Conference (6ESTC) of the European Set Theory Society will be organized in Budapest, at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences, next year, July 3 – 7, 2017. (Date of arrival: July 2, date of departure: July 8.)

Local Organizing Committee:
L. Soukup (chair), M. Elekes (secretary), I. Juhász, V. Kiss, G. Sági, D. Sziráki, Z. Vidnyánszky.

Program Committee:
I. Juhász (chair, Budapest), T. Bartoszynski (Washington, DC), M. Džamonja (Norwich), S. D. Friedman (Vienna), W. Kubiś (Kielce and Prague), M. Magidor (TBC, Jerusalem), H. Mildenberger (Freiburg).

Homepage of the meeting:

If you are interested in attending this meeting, we kindly ask you to fill out the following very short form:

We also encourage you advertise this meeting to anyone who you think may be interested, especially to potentially interested students and young set theorists.

With best regards,
The Organizers

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

Ilijas Farah: A consistent failure Glimm’s theorem for nonseparable C*-algebras

Place: Fields Institute (Room 210)

Date: June 24th, 2016 (13:30-15:00)

Speaker: Ilijas Farah

Title: A consistent failure Glimm’s theorem for nonseparable C*-algebras

Abstract: A remarkable 1960 result of J. Glimm provides a sharp dichotomy for
the representation theory of separable C*-algebras. One of its
consequences is that a separable C*-algebra either has a unique
(up to the unitary equivalence) irreducible representation or continuum
many inequivalent irreducible representations. Using some ideas of
Akemann and Weaver, I’ll prove that this conclusion is consistently false
for nonseparable C*-algebras. Many open problems remain.

David Fernández Bretón: Ultrafilters on the rationals generated by perfect sets

Place: Fields Institute (Room 210)

Date: June 17th, 2016 (13:30-15:00)

Speaker: David Fernandez Bretón

Title: Ultrafilters on the rationals generated by perfect sets

Abstract:  In a 1992 paper, van Douwen defined what he calls a
“gruff ultrafilter”: an ultrafilter on the rational numbers which
is generated by perfect (this is, closed and crowded) sets; and
asked whether these ultrafilters exist, providing in the same
paper a proof that they do if cov(M)=c. The question of whether
the existence of gruff ultrafilters can be proved in ZFC alone
remains open, but further progress has been made in the
way of consistently positive answers. In this talk I will
present a proof that gruff ultrafilters exist in the Random
model, as well as in any model satisfying d=c. Joint work
with Michael Hrusak.

Dana Bartosova: Algebra in the Samuel compactification

Place: Fields Institute (Room 210)

Date: June 10, 2016 (13:30-15:00)

Speaker: Dana Bartosova

Title: Algebra in the Samuel compactification

Abstract: The Samuel compactification, or the greatest ambit, is an important compactification of a topological group for its dynamics. In the case of discrete groups, the Samuel compactification coincides with the Cech-Stone compactification and its algebra and combinatorics have been extensively studied. We remind the Samuel compactification for automorphism groups in the ultrafilter language and point out some differences and similarities with the discrete case. We will then apply algebra and combinatorics to answer a problem of Ellis for the group of permutations of the integers. This is a joint work in progress with Andy Zucker (Carnegie Mellon University).

​Nadav Meir: ​​Infinite products of ultrahomogeneous structures

BGU Seminar in Logic, Set Theory and Topology.

Tomorrow we will continue our seminar in Logic, Set Theory and Topology.

Time: Tuesday, June 7th, 12:30-13:45.

Place: Seminar room -101, Math building 58.

Speaker: Nadav Meir (BGU).

Title: Infinite products of ultrahomogeneous structures

We will define the “lexicographic product” of two structures and show that if both structures admit quantifier elimination, then so does their product. As a corollary we get that nice (model theoretic) properties such as (ultra)homogeneity, stability, NIP and more are preserved under taking products.

It is clear how to iterate the product finitely many times, but we will introduce a new infinite product construction which, while not preserving quantifier elimination, does preserve (ultra)homogeneity. As time allows, we will use this to give a negative answer to the last open question from a paper by A. Hasson, M. Kojman and A. Onshuus who asked “Is there a rigid elementarily indivisible* structure?”

As time allows, we will introduce an approach for using the lexicographic product to generalize a result by Lachlan and Shelah to the following: given a finite relational language L, denote by H(L) the class of countable ultrahomogeneous stable L-structures. For M in H(L), define the rank of M to be the maximum value of CR(p,2) where p is a complete 1-type and CR(p,2) is the Shelah’s complete rank. There is a uniform finite bound on the rank of M, where M ranges over H(L). The result was proven by Lachlan and Shelah for L binary and proven in general by Lachlan using the Classification Theorem for finite simple groups.

* A structure M is said to be elementarily indivisible structure if for every colouring of its universe in two colours, there is a monochromatic elementary substructure N of M such that N is isomorphic to M.

Alessandro Vignati: CH and homeomorphisms of Stone-Cech remainders

Place: Fields Institute (Room 210)

Date: June 3rd, 2016 (13:30-15:00)

Speaker: Alessandro Vignati

Title: CH and homeomorphisms of Stone-Cech remainders


If X is locally compact and Polish, it makes sense to ask how many homeomorphisms does X*, the Stone Cech remainder of X, have. It is known that, if X is 0-dimensional, under the Continuum Hypothesis X* has $2^{2^{\aleph_0}}$ many homeomorphisms (Rudin+Parovicenko). The same is true if $X=[0,1)$ (Yu, Dow-KP Hart), or if X is the disjoint union of countably many compact spaces (Coskey-Farah). But the question remains open for, for example, $X=\mathbb{R}^2$. We prove that for a large class of spaces (including $\mathbb{R}^n$, for all n) CH provides $2^{2^{\aleph_0}}$ many homeomorphisms of X*.

Assaf Rinot: Reduced powers of Souslin trees

BGU Seminar in Logic, Set Theory and Topology.

Time: Tuesday, May 31st, 12:30-13:45.

Place: Seminar room -101, Math building 58.
Speaker: Assaf Rinot (BIU)

Title: Reduced powers of Souslin trees


What is the relationship between a Souslin tree and its reduced powers? and is there any difference between, say, the reduced $\omega$-power and the reduced $\omega_1$-power of the same tree?
In this talk, we shall present tools recently developed to answer these sort of questions. For instance, these tools allow to construct an $\omega_6$-Souslin tree whose reduced $\omega_N$-power is Aronszajn iff $n$ is not a prime number.
This is joint work with Ari Brodsky.

Fulgencio Lopez: Banach spaces from Construction Schemes

Place: Fields Institute (Room 210)

Date: May 27th, 2016 (13:30-15:00)

Speaker: Fulgencio Lopez

Title: Banach spaces from Construction Schemes

Abstract: In 2011 J. Lopez-Abad and S. Todorcevic used forcing to construct a
Banach space with an $\varepsilon$-biorthogonal system that didn’t have $\delta$-biorthogonal systems for every $1\leq\delta<\varepsilon$. We show that there is a Banach space with the same property provided there is a capturing Construction Scheme.