Typos (courtesy of Patrick deLeenheer):

p1684, 5th line from bottom: "translates into reflexivity"
should be "translates into antisymmetry"

p1685, line 22 in left column:
"x1>>x2 iff x-y in int(K)" should be "x1>>x2 iff x1-x2 in int(K)"

p1685, line 28 in left column:
"for all t >=0" should be "for all t>0"