nLab archimedean difference protoring

Definition

A protoring $M$ is an archimedean difference protoring it is both an archimedean protoring and a difference protoring.

Examples

• Every archimedean integral domain is an archimedean difference protoring.

• In impredicative mathematics, the Dedekind real numbers are the terminal archimedean difference protoring.

See also

• protoring

• archimedean protoring

• difference protoring

• archimedean integral domain

• streak

References

• Davorin Lešnik, Synthetic Topology and Constructive Metric Spaces, (arxiv:2104.10399)