English

Introducing a nontrivial square_omega

Logic 2026-04-13 v2

Abstract

We define a nontrivial version of the square principle ω\Box_\omega, 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_\omega can be constructed in ZFC, as shown by Lajos Soukup and Philip Welch. Note, that the forcing itself has not been found flawed.

Keywords

Cite

@article{arxiv.1003.2819,
  title  = {Introducing a nontrivial square_omega},
  author = {Gregor K. Dolinar and Mirna Džamonja},
  journal= {arXiv preprint arXiv:1003.2819},
  year   = {2026}
}

Comments

This paper has been withdrawn by the author. 7 pages

R2 v1 2026-06-21T14:57:46.006Z