I will present on the paper “Largest initial segments pointwise fixed by automorphisms of models of set theory” by Enayat, Kaufmann, and McKenzie. https://arxiv.org/abs/1606.04002 Keller Hall 301

“Iterated ultrapowers for the masses”, part 2

Comparing Near-linearity Notions in Open Induction There have been works in number theory on characterizing the class of Beatty sequences (integer parts of natural multiples of a fixed nonnegative real slope). The same is true[...]