No label defined (Q3296117)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
6 July 2020
0 references
Bishop's constructive mathematics
0 references
constructive algebra
0 references
rings
0 references
modules
0 references
divisibility
0 references
principal ideal domain
0 references
field
0 references
Noetherian ring
0 references
finite dimensional algebra
0 references
free groups
0 references
abelian groups
0 references
valuation theory
0 references
Dedekind domains
0 references
