# Category:Ordered groups

Here is a list of articles in the category **Ordered groups** of the Computing portal that unifies foundations of mathematics and computations using computers.

## Pages in category "Ordered groups"

The following 14 pages are in this category, out of 14 total.

### A

- Archimedean group
*(computing)* - Archimedean property
*(computing)*

### C

- Cyclically ordered group
*(computing)*

### F

- Formally real field
*(computing)*

### H

- Hahn embedding theorem
*(computing)*

### I

- Integrally closed
*(computing)* - Integrally closed ordered group
*(computing)*

### L

- Linearly ordered group
*(computing)*

### O

- Ordered field
*(computing)* - Ordered ring
*(computing)* - Ordered vector space
*(computing)*

### P

- Partially ordered group
*(computing)*

### R

- Riesz space
*(computing)*

### T

- Tarski's axiomatization of the reals
*(computing)*