The Ostaszewski square, and homogenous Souslin trees

2011/05/15 by Assaf Rinot, Rinot, Assaf
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras

paper · pdf · doi:10.48550/arxiv.1105.2944

openalex publication_date 2011/05/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Assume GCH and let λ denote an uncountable cardinal. We prove that if \square_λ holds, then this may be witnessed by a coherent sequence < C_α| α< λ⁺ > with the following remarkable guessing property: For every sequence < A_i | i of unbounded subsets of λ⁺, and every limit θ

Related

• A guessing principle from a Souslin tree, with applications to topology
• Full Souslin trees at small cardinals
• Souslin trees at successors of regular cardinals
• The special Aronszajn tree property at ℵ₂ and GCH
• Aronszajn trees, square principles, and stationary reflection