Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I am hyperlinking impredicative mathematics and constructive mathematics in your entries.
These are probably the most important links of context to offer to the generic reader, for this zoo of entries, since readers unaware of this context might be likely to be baffled by their existence.
Indeed, it would seem in order to give most of the entries which you have created recently more information in their Idea-section as to which problem in non-classical mathematics makes one want to have such an entry.
By the way, do you know Davorin Lešnik personally? Are you maybe Davorin Lešnik?
(I am wondering why you feel it’s important to remain anonymous when sending us that many entries – assuming it’s a single author behind the “Anonymous”-signature, but editing style suggests so. It’s okay with me so far, but it does feel a little odd. Also it seems to be a missed opportunity to get more feedback on your contribution.)
1 to 2 of 2