Elementary constructive theory of Henselian local rings (Q3506323)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5288149
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Elementary constructive theory of Henselian local rings |
scientific article; zbMATH DE number 5288149 |
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
0.9196619
0 references
0.9157555
0 references
0 references
0 references
