@rschwieb In that case, I'm more or less fine with the question as it is because: (1) The "star" made the asker doubt the simplicity of the solution, and so it is impossible to pinpoint any specific point of doubt; (2) Not likely to be a duplicate. The question could have been better if the asker wrote one line for each of the "not Noetherian" claims, but since it's kind of obvious at the level of the asker I don't care.
@XanderHenderson It isn't of any interest, and I agree with closure+deletion because there is a serious lack of effort, witnessed by "D = a,b" and "don't under the" and "(a,a) and P(b,b)", among other things.
Also, I recognize this username; see here for past misbehaviour.
@user21820 It strikes me as a now singularly useless thing to retain, and that it should be deleted. I don't think it's ever even going to be a relevant search hit unless the title is refined, or something.
I'm currently writing a short paper on Intuitionism for uni. The subject of this paper is the decay of the intermediate value theorem under intuitionism. I have found a proof for this but I have a question about a step the author makes in this proof. It is abbout the following:
The problem I hav...