This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources:  "Homogeneous" large cardinal property –  news · newspapers · books · scholar · JSTOR (March 2024) ( Learn how and when to remove this message)

In set theory and in the context of a large cardinal property, a subset, S, of D is homogeneous for a function ${\displaystyle f:[D]^{n}\to \lambda }$ if f is constant on size-${\displaystyle n}$ subsets of S. ^{[1]p. 72} More precisely, given a set D, let ${\displaystyle {\mathcal {P}}_{n}(D)}$ be the set of all size-${\displaystyle n}$ subsets of ${\displaystyle D}$ (see Powerset § Subsets of limited cardinality) and let ${\displaystyle f:{\mathcal {P}}_{n}(D)\to B}$ be a function defined in this set. Then ${\displaystyle S}$ is homogeneous for ${\displaystyle D}$ if ${\displaystyle \vert f''([S]^{n})\vert =1}$. ^{[1]p. 72 [2]p. 1}

Ramsey's theorem can be stated as for all functions ${\displaystyle f:\mathbb {N} ^{m}\to n}$, there is an infinite set ${\displaystyle H\subseteq \mathbb {N} }$ which is homogeneous for \(f\). ^{[2]p. 1}

Partitions of finite subsets

Given a set D, let ${\displaystyle {\mathcal {P}}_{<\omega }(D)}$ be the set of all finite subsets of ${\displaystyle D}$ (see Powerset § Subsets of limited cardinality) and let ${\displaystyle f:{\mathcal {P}}_{<\omega }(D)\to B}$ be a function defined in this set. On these conditions, S is homogeneous for f if, for every natural number n, f is constant in the set ${\displaystyle {\mathcal {P}}_{n}(S)}$. That is, f is constant on the unordered n-tuples of elements of S.^{[ citation needed]}

See also

• Ramsey's theorem
• Ramsey cardinal

References

External links

• S. Unger, " Introduction to Large Cardinals".

This set theory-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e