2018 seminar talk: Finiteness classes arising from Ramsey-theoretic statements in set theory without choice

Talk held by David Fernández-Bretón (KGRC) at the KGRC seminar on 2018-10-04.


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.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.