In the absence of the Axiom of Choice, there may be infinite sets for which certain Ramsey-theoretic statements – such as Ramsey's or (appropriately phrased) Hindman's theorem – fail. In this talk, we will analyse the existence of such sets, and their precise location within the hierarchy of infinite Dedekind-finite sets; independence proofs will be carried out using the Fränkel-Mostowski technique of permutation models.
This is joint work with Joshua Brot and Mengyang Cao.
Note: A recording of this talk is available on YouTube.