A consistency result concerning set mappings (Q1320471)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A consistency result concerning set mappings |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A consistency result concerning set mappings |
scientific article |
Statements
A consistency result concerning set mappings (English)
0 references
5 January 1995
0 references
The author proves that it is consistent that there is a set mapping \(f: [\omega_ 3]^ 2\to [\omega_ 3]^ 1\) with no uncountable free set. (A set \(X\subseteq\omega_ 3\) is free for \(f\) provided that \(\gamma\notin f(\alpha,\beta)\) for all distinct \(\alpha,\beta,\gamma\in \omega_ 3\).) An earlier result of \textit{A. Hajnal} and \textit{A. Máté} [Logic Colloq. '73, Proc., Bristol 1973, 347-379 (1975; Zbl 0324.04004)] showed that it is consistent with \(2^ \omega= \omega_ 2\) that there is a set mapping \(f: [\omega_ 2]^ 2\to [\omega_ 2]^ 1\) with no uncountable free set. The key step of the author's argument is to show the consistency of a set mapping \(f: [\omega_ 3]\to [\omega_ 3]^{\aleph_ 0}\) with no uncountable free set. This is achieved by a variant of a forcing construction of \textit{J. E. Baumgartner} and \textit{S. Shelah} [Ann. Pure Appl. Logic 33, 109-129 (1987; Zbl 0643.03038)].
0 references
consistency
0 references
set mapping
0 references
uncountable free set
0 references
forcing construction
0 references