2021/01/29 by Todd Eisworth, Eisworth, Todd
Computer Science · Mathematics · #03E04 #03E55 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis
paper · pdf · doi:10.48550/arxiv.2101.12687
openalex publication_date 2021/01/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We investigate pseudopowers of singular cardinals, and show that deduce some consequences for cardinal arithmetic. For example, we show that in \sf ZFC that \cov(μ,μ,θ,σ)=\cov(μ,μ,(\cfμ)+,σ)+\cov(μ,μ,θ,σ+) whenever ℵ1≤σ=\cf(σ)<\cf(μ)<θ<μ, and use recent work of Gitik to show that both summands in the equation are required.