Search Results for author: Joshua Brot

Found 2 papers, 0 papers with code

Finiteness classes arising from Ramsey-theoretic statements in set theory without choice

no code implementations24 Oct 2019 Joshua Brot, Mengyang Cao, David Fernández-Bretón

We investigate infinite sets that witness the failure of certain Ramsey-theoretic statements, such as Ramsey's or (appropriately phrased) Hindman's theorem; such sets may exist if one does not assume the Axiom of Choice.

Logic Primary 03E25, Secondary 03E30, 03E35

Cannot find the paper you are looking for? You can Submit a new open access paper.