This semester the Logic Seminar continues at a new day and time, Fridays at 2:30 in Keller 314. For the first meeting this Friday I will (probably) speak about _Skolem polynomials_: Abstract: Over 100 years[...]

Mushfeq Khan will speak on amenability and symbolic dynamics. As usual the seminar is in Keller 314.

Continuing the theme of symbolic dynamics, I will demonstrate a proof of Simpson’s result that “Entropy = Dimension” for N^d and Z^d, and discuss some of Adam Day’s work generalizing these results to amenable groups.

This week Umar Gaffar will give Shelah’s proof of the following result: Let $\lambda$ be the cardinality of an ultraproduct of finite sets. If $\lambda$ is infinite then $\lambda=\lambda^{\aleph_0}$.