Abstract: The notions of measure hyperfiniteness and measure reducibility of countable Borel equivalence relations are variants of the usual notions of hyperfiniteness and Borel reducibility. Conley and Miller proved that every basis for the countable Borel equivalence relations strictly above E_0 under measure reducibility is uncountable and asked whether there is a "measure successor of E_0"—i.e. a countable Borel equivalence relation E such that E is not measure reducible to E_0 and any F which is measure reducible to E is either equivalent to E or measure reducible to E_0. In an ongoing work with Patrick Lutz, we have isolated a combinatorial condition on a Borel group action (a strong form of expansion that we call "lossless expansion" after a similar property which is studied in computer science and finite combinatorics) which implies that the associated orbit equivalence relation is a measure successor of E_0. We have also found several examples of group actions which are plausible candidates for satisfying this condition. In this talk, I will explain the context for Conley and Miller's question, the condition that we have isolated and discuss some of the candidate examples we have identified.

All of this is joint work with Patrick Lutz.

At and above the level of measurability, large cardinal notions are typically characterized by the existence of certain elementary embeddings of the universe into an inner model. We may contrast this with smaller large cardinal notions, whose characterizations tend to be strictly combinatorial. In this series of talks, we survey results from Magidor's thesis, in which he shows that the large notion of supercompactness can also be viewed combinatorially, and in this light supercompactness is seen to be a natural strengthening of ineffability. We will also survey modern results which show how these strong combinatorial principles can be forced to hold at small successor cardinals.

NOTE: Tuesday meeting

This is the last lecture in an introductory survey of the theory of algorithmic randomness. The primary question we wish to answer is: what does it mean for a set of natural numbers, or equivalently an infinite binary sequence, to be random? We will focus on three intuitive paradigms of randomness: (i) a random sequence should be hard to describe, (ii) a random sequence should have no rare properties, and (iii) a random sequence should be unpredictable, in the sense that we should not be able to make large amounts of money by betting on the next bit of the sequence. Using ideas from computability theory, we will make each of these three intuitive notions of randomness precise and show that the three define the same class of sets.

We give an introductory survey of the theory of algorithmic randomness. The primary question we wish to answer is: what does it mean for a set of natural numbers, or equivalently an infinite binary sequence, to be random? We will focus on three intuitive paradigms of randomness: (i) a random sequence should be hard to describe, (ii) a random sequence should have no rare properties, and (iii) a random sequence should be unpredictable, in the sense that we should not be able to make large amounts of money by betting on the next bit of the sequence. Using ideas from computability theory, we will make each of these three intuitive notions of randomness precise and show that the three define the same class of sets.

 This talk will be concerned with compactness phenomena in set theory. Compactness is the phenomenon by which the local properties of a mathematical structure determine its global behaviour. This phenomenon is intrinsic to the architecture of the mathematical universe and manifests in various forms. Over the past fifty years, the study of compactness phenomena has been one of the flagships of research in set theory. This talk will present recent discoveries spanning classical themes like the tree property and stationary reflection while also forging new connections with other topics, such as Woodin's HOD Conjecture.