1. Sets of independent postulates for cyclid order. 2. Sets of independent postulates for order on a closed line.

From MaRDI portal
Publication:1468494