[getting back to work on the first weekday after a new year] okay so what is an integer again
@ersatzmaus @vogon Some of these terms are barely a century old and for better or worse, pretty much none of them have percolated into primary or even secondary education.
@neal @vogon “The integers are the only nontrivial totally ordered abelian group whose positive elements are well-ordered.”
“This is equivalent to the statement that any Noetherian valuation ring is either a field—or a discrete valuation ring. ”
That's cleared that up then.