3 citations · 3 across the 6 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2010
Forcing Square_{omega_1} with finite conditions
Gregor K. Dolinar, Mirna Džamonja
We give a forcing construction of the square principle on omega_1 using forcing with conditions whose domain is finite.
math.LO2010
Introducing a nontrivial square_omega
Gregor K. Dolinar, Mirna Džamonja
We define a nontrivial version of the square principle , which we then show consistent by means of forcing with finite conditions. This paper has been withdrawn by the auth…