Template talk:SomeChoice

Various choice principles
The trouble is that there are a lot of choice principles out there, with various relationships, some known and some not. I don't know that we really want to have separate templates for every last one in the literature. --Dfeuer (talk) 21:26, 25 June 2013 (UTC)


 * That's as maybe, but it ought to be possible to design a better template than the one that's there. What it currently produces is not particularly elegant for a start. I'd also give it a better name than "SomeChoice" which is a bit lame.


 * The question arises as to whether we really need all those choice axioms implemented as templates at all. I can't see the point, which is why I question its usefulness.


 * If we are really into an area of mathematics where all these axioms are explored in detail, then the whole field needs to be rethought, by someone with a grasp of the field and with the ability to craft such a section elegantly. --prime mover (talk) 21:39, 26 June 2013 (UTC)


 * We might as well mark practically the entire functional-analytic literature with choice templates.


 * Moreover, the choice (heh) for a particular choice principle is in some sense arbitrary because we can usually suffice with very tiny amounts of choice, which usually quickly become rather... tautologous.


 * It is my preference to reserve the templates to cases where it has been established that choice is necessary, rather than just some proof using it (in which case a proof-specific note can be added to the page, if one insists).


 * Name suggestion (almost too simple): "ChoicePrinciple". &mdash; Lord_Farin (talk) 06:55, 27 June 2013 (UTC)