A diamond example of an ordinal graph with no infinite paths (Q915724): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3222179 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3852172 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Independence Result for Pinning for Ordinals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Martin's axiom and ordinal graphs: Large independent sets or infinite paths / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Teilmengen von Mengen mit Relationen / rank | |||
Normal rank |
Revision as of 09:34, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A diamond example of an ordinal graph with no infinite paths |
scientific article |
Statements
A diamond example of an ordinal graph with no infinite paths (English)
0 references
1990
0 references
Given ordinals \(\alpha\) and \(\beta\), \(\alpha\to (\beta\), infinite \(path)^ 2\) means that every graph on \(\alpha\) either contains an independent (edge-free) set of order type \(\beta\) or an infinite path. It is easy to see that \(\alpha +n+1\nrightarrow (\alpha +1\), infinite \(path)^ 2\) whenever \(\alpha >0\) and \(n<\omega\). \textit{P. Erdős}, \textit{A. Hajnal} and \textit{E. C. Milner} [Combinat. Theory Appl., Colloq. Math. Soc. János Bolyai 4, 327-363 (1970; Zbl 0215.329)] have shown that \(\alpha\to (\alpha\), infinite \(path)^ 2\) for all limit ordinals \(\alpha <\omega_ 1^{\omega +2}\). This positive result has been extended by the second author [in the paper reviewed below (Zbl 0703.03029)] to all limit ordinals \(\alpha <2^{\aleph_ 0}\) under the assumption of Martin's Axiom. The authors show that if Jensen's principle \(\diamondsuit\) holds, then \(\alpha \nrightarrow (\omega_ 1^{\omega +2}\), infinite \(path)^ 2\) for all \(\alpha <\omega_ 2\).
0 references
diamond
0 references
ordinal graph
0 references
tree
0 references
infinite path
0 references