Showing changes from revision #1 to #2:
Added | Removed | Changed
Let be an ordered integral domain, and let be the injection of the positive integers into . is an Archimedean ordered integral domain if there is a family of dependent terms
The integers are an Archimedean ordered integral domain.
The rational numbers are a Archimedean ordered integral domain.
Every Archimedean ordered field is a Archimedean ordered integral domain.