We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Chain conditions, unbounded colorings and the C-sequence spectrum

Formal Metadata

Title
Chain conditions, unbounded colorings and the C-sequence spectrum
Title of Series
Number of Parts
5
Author
Contributors
License
CC Attribution - NonCommercial - NoDerivatives 2.0 Generic:
You are free to use, copy, distribute and transmit the work or content in unchanged form for any legal and non-commercial purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
The productivity of the κ-chain condition, where κ is a regular, uncountable cardinal, has been the focus of a great deal of set-theoretic research. In the 1970’s, consistent examples of kappa−cc posets whose squares are not κ−cc were constructed by Laver, Galvin, Roitman and Fleissner. Later, ZFC examples were constructed by Todorcevic, Shelah, and others. The most difficult case, that in which κ=ℵ2, was resolved by Shelah in 1997. In the first part of this talk, we shall present analogous results regarding the infinite productivity of chain conditions stronger than κ−cc. In particular, for any successor cardinal κ, we produce a ZFC example of a poset with precaliber κ whose ωth power is not κ−cc. To do so, we introduce and study the principle U(κ,μ,θ,χ) asserting the existence of a coloring c:[κ]2→θ satisfying a strong unboundedness condition. In the second part of this talk, we shall introduce and study a new cardinal invariant χ(κ) for a regular uncountable cardinal κ . For inaccessible κ, χ(κ) may be seen as a measure of how far away κ is from being weakly compact. We shall prove that if χ(κ)>1, then χ(κ)=max(Cspec(κ)), where: (1) Cspec(κ) := {χ(C⃗ )∣C⃗ is a sequence over κ} ∖ω, and (2) χ(C⃗ ) is the least cardinal χ≤κ such that there exist Δ∈[κ]κ and b : κ→[κ]χ with Δ∩α⊆∪β∈b(α)Cβ for every α<κ. We shall also prove that if χ(κ)=1, then κ is greatly Mahlo, prove the consistency (modulo the existence of a supercompact) of χ(ℵω+1)=ℵ0, and carry a systematic study of the effect of square principles on the C-sequence spectrum. In the last part of this talk, we shall unveil an unexpected connection between the two principles discussed in the previous parts, proving that, for infinite regular cardinals θ<κ,θ∈Cspec(κ) if there is a closed witness to U(κ,κ,θ,θ). This is joint work with Chris Lambie-Hanson.