pith. sign in

arxiv: 1003.2819 · v2 · submitted 2010-03-14 · 🧮 math.LO

Introducing a nontrivial square_omega

classification 🧮 math.LO
keywords omegabeenforcingnontrivialsquareauthorconditionsconsistent
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.