An iterative constructive Hilbert basis theorem (Q6983678)
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 8041054
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An iterative constructive Hilbert basis theorem |
scientific article; zbMATH DE number 8041054 |
Statements
An iterative constructive Hilbert basis theorem (English)
0 references
14 May 2025
0 references
The authors give a proof of the iterative Hilbert basis theorem in Bishop's constructive algebra with standard equality and membership test still adopting a peculiar form of the ascending chain condition. \textit{F. Richman}'s simplification [Proc. Am. Math. Soc. 44, 436--441 (1974; Zbl 0265.13011)] of \textit{J. Tennenbaum}'s characterization [A constructive version of Hilbert's basis theorem. San Diego, CA: University of California (PhD thesis) (1973)] was used.
0 references
Hilbert basis theorem
0 references
Noetherian ring
0 references
constructive algebra
0 references
0 references
0 references
