Dataset - CKAN

First order theory of cyclically ordered groups

By a result known as Rieger's theorem (1956), there is a one-to-one correspondence, assigning to each cyclically ordered group $H$ a pair $(G,z)$ where $G$ is a...
- HTML

You can also access this registry using the API (see API Docs).