User talk:Dfeuer/sandbox

OK, so this cone stuff is getting off the ground, as is my definition of a relation compatible with a closed ringoid with zero. Before I continue cleaning up and expanding, does anyone have any strong opinions about what the terminology should be? PM: I am not interested in statements to the effect that this is all garbage because it doesn't come from a printed source. I'm interested in whether people can come up with a better name than cone for the general notion (if there's a standard name, that would be amazing).

Furthermore: the terminology used in Category:Ordered Integral Domains is utterly incompatible with the terminology of the entire rest of the site. I propose that once the basics of compatible orderings and positivity have been fully adapted to groups and rings then those basics pages for integral domains should be deleted, and the remaining (very few) results that don't apply to more general rings should have their terminology adjusted to match the rest of the site. To be specific, the inconsistency is that in that category "ordered" means what the entire rest of the site calls "strictly totally ordered". --Dfeuer (talk) 18:20, 1 February 2013 (UTC)