I am concerned that the 'bad reviews' regarding my most recent question are more harassment than helpful. They seem to come from distinctions between $Def$ (or what I call $\mathscr P_{Def}$), $\mathscr P_{L}$, and the usual power set operation $\mathscr P$. The answers and comments given seem to suggest that I have somehow confused $\mathscr P_{Def}$ with $\mathscr P_{L}$ (although $\mathscr P_{Def}$ is frequently called--though possibly wrongly--the "Predicative Power Set Operation"). That the 'reviewers' have answered the questions in the manner they have (for though $ZF$ can possibly prove that there exist constructible sets, it cannot prove the existence (without extra axioms) the existence of non-constructible sets) makes it impossible to delete the question without possible penalty. And that to me makes the situation impossible to rectify (and give my 'critics' a means to continually downvote me). If I have made the 'gaffe' of confusing $\mathscr P_{Def}$ with $\mathscr P_{L}$ then they should kindly tell me and let me make the necessary corrections or, if not, they should produce answers more relevant to the issues I raise. How can I best deal with the situation? Thanks in advance.
added (specific-question) tag; if the question is meant only an example and you want it fact discuss a more general issue, please make this clear in the post and remove the tag
Martin Sleziak
- 4.7k
- 2
- 60
- 122