Forcing Square_{omega_1} with finite conditions
We give a forcing construction of the square principle on omega_1 using forcing with conditions whose domain is finite.
math.LO↗
arXiv subjects
Gregor K. Dolinar
Publications and source records attributed to Gregor K. Dolinar.
Introducing a nontrivial square_omega
We define a nontrivial version of the square principle $\Box_ω$, which we then show consistent by means of forcing with finite conditions. This paper has been withdrawn by the author due to the fact that the presented $\Box_ω$ can be constructed in ZFC, as shown by Lajos Soukup and Philip Welch. Note, that the forcing itself has not been found flawed.
math.LO↗