Galvin's property at large cardinals and an application to partition calculus

MaRDI QIDQ6405076zbMATH OpenFDO

Authors Tom Benhamou, Shimon Garti, Alejandro Poveda

Publication date 15 July 2022

Mathematics Subject Classification ID

Partition relations (03E02) Consistency and independence results (03E35) Determinacy principles (03E60)

Abstract: In the first part of this paper, we explore the possibility for a very large cardinal $kappa$ to carry a $kappa$-complete ultrafilter without Galvin's property. In this context, we prove the consistency of every ground model $kappa$-complete ultrafilter extends to a non-Galvin one. Oppositely, it is also consistent that every ground model $kappa$-complete ultrafilter extends to a $P$-point ultrafilter, hence to another one satisfying Galvin's property. Finally, we apply this property to obtain consistently new instances of the classical problem in partition calculus $lambdaightarrow(lambda,omega+1{)}^2$.

This page was built for publication: Galvin's property at large cardinals and an application to partition calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6405076)