Elementary constructive theory of Henselian local rings (Q3506323)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Elementary constructive theory of Henselian local rings |
scientific article |
Statements
Elementary constructive theory of Henselian local rings (English)
0 references
12 June 2008
0 references
strict Henselian local ring
0 references
separable closure of the residue field
0 references
Bishop's constructive mathematics
0 references
Turing computable
0 references
discrete ring
0 references
Heyting field
0 references
basic system of orthogonal idempotents
0 references
Cayley-Hamilton theorem
0 references
Nakayama's lemma
0 references
zero-dimensional ring
0 references
pseudo-local ring
0 references
decomposable ring
0 references
the universal decomposition algebra
0 references
Galois idempotent
0 references
Nagata localization
0 references
