Lazy bases: a minimalist constructive theory of Noetherian rings

DOI10.1002/malq.200710042zbMath1134.03039OpenAlexW2109750460MaRDI QIDQ5448618

Hervé Perdry

Publication date: 7 March 2008

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200710042

zbMATH Keywords

Noetherian ringsconstructive algebraHilbert basis theorem

Mathematics Subject Classification ID

Commutative Noetherian rings and modules (13E05) Commutative rings and modules of finite generation or presentation; number of generators (13E15) Other constructive mathematics (03F65)

Related Items (3)

Spectral schemes as ringed lattices ⋮ Constructing Gröbner bases for Noetherian rings ⋮ Noetherian orders

This page was built for publication: Lazy bases: a minimalist constructive theory of Noetherian rings