Forcing Square_omega1 with finite conditions

2010/10/02 by Грегор Долинар, Dolinar, Gregor K., Mirna Džamonja +1
Computer Science · Mathematics · #03E35 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis

paper · pdf · doi:10.48550/arxiv.1010.0327

openalex publication_date 2010/10/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We give a forcing construction of the square principle on omega₁ using forcing with conditions whose domain is finite.

Related

• Introducing a nontrivial square_omega
• Forcing with Adequate Sets of Models as Side Conditions
• Unthreadability with Small Conditions
• Understanding preservation theorems: omega-omega bounding and Sacks property
• Good Scales and Non-Compactness of Squares