Definition talk:Ordered Field

Promising references on (partially) ordered fields
Lattice-Ordered Rings and Modules

Definition
I'll dig up a source for you, okay? --Dfeuer (talk) 09:55, 27 January 2013 (UTC)

Here's a nice one, for "partly ordered field": D.W. Dubois. --Dfeuer (talk) 10:29, 27 January 2013 (UTC)

Final things before I crash into bed:
 * Yes, it's true that "ordered field" usually means "totally ordered field", but it's also true that "ordered group" usually means "totally ordered group" and "ordered set" usually means "totally ordered set". Proofwiki made the reasonable choice to use "ordered ____" instead of "partially ordered ____" when the order could be either partial or total. It seems absurd to me that this should be true of everything except ordered integral domains and (possibly) ordered fields.
 * The definition you've imposed of "ordered field" is very well-described by just saying "ring-ordered field". Why not save "ordered field" for something that actually requires compatibility with all the field operations? --Dfeuer (talk) 10:42, 27 January 2013 (UTC)


 * The definition as provided here precisely matches that from the reference source cited. What you put in its place did not match that given in the reference source cited. Therefore, as no attempt had been made to address that matter, I reverted - and will continue to do so when this behaviour is repeated.


 * The source you cited is indeed a definition for "partly ordered field". Now you need to go away and gather all the definitions you have found for "partly ordered field", create a definition page for each one, and then put a further series of pages together which prove either that those definitions are logically equivalent, or that their differences genuinely demonstrate that these definitions define different objects.


 * It is inadequate to bury the sources on the talk pages. They need to be extracted, added to the various "Books" sections, and invoked properly as full citations.


 * As has been stated on another page, you are an admin and have full admin privileges - therefore it is unacceptable to offer up excuses for why you wish to shirk these duties.


 * A lot of time and effort has gone into creating this website into the form it is in, and it would be detrimental to its quality to allow a user to come in and just change definitions without performing all the associated follow-up work. --prime mover (talk) 10:46, 27 January 2013 (UTC)


 * You're asking rather a lot in this instance. I invite you to consider the "what links here" page for that definition. The ONLY pages that appear are definitions of TOTALLY ordered systems and the two proofs you flagged for deletion. You and I both know that "partly ordered field" and "partially ordered field" mean the same thing, and that in context they refer to what we would call a set with field operations and a "compatible" ordering, for one of a few possible definitions of compatibility. Do we or don't we want consistency in our terminology here? --Dfeuer (talk) 17:41, 27 January 2013 (UTC)