Showing changes from revision #0 to #1:
Added | Removed | Changed
An ordered integral domain is a Heyting integral domain with
a term
two families of dependent terms
The integers are an ordered integral domain.
The rational numbers are a ordered integral domain
Every ordered field is a ordered integral domain.