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.
Shall we merge this into Heyting algebra and then redirect complete Heyting algebra there?
We should merge entries if it enhances user experience, not if it doesn’t. There is no cost in having more entries.
In cases like this, the purpose served by the specialized entry is to immediately provide to the reader — who is following a link to “complete Heyting algebra” — the actual definition. If we merge this entry into “Heyting algebra”, then the reader would have to chase through that entry to find what they were actually looking for.
And if the reader finds they do want to read more about Heyting algebras in general, they can just click once more from here to get to the main entry, no problem.
Therefore I don’t see harm in having the entry and no benefit in merging it. But let me know your reasoning if you disagree.
On the other hand, there is always room to improve any entry, including this one here.
1 to 3 of 3