Noetherian orders

DOI10.1017/S0960129510000460zbMath1216.03065OpenAlexW2911261910MaRDI QIDQ3081324

Hervé Perdry, Peter M. Schuster

Publication date: 7 March 2011

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129510000460

zbMATH Keywords

Hilbert basis theoremNoether classes of posets

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Related Items (4)

A constructive picture of Noetherian conditions and well quasi-orders ⋮ Proof mining and effective bounds in differential polynomial rings ⋮ Constructing Gröbner bases for Noetherian rings ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem

Cites Work

• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
• A course in constructive algebra
• Strongly Noetherian rings and constructive ideal theory
• A logical approach to abstract algebra
• Ordinal numbers and the Hilbert basis theorem
• What is Noetherian?
• The Ascending Tree Condition: Constructive Algebra Without Countable Choice
• Lazy bases: a minimalist constructive theory of Noetherian rings
• Unnamed Item
• Unnamed Item

This page was built for publication: Noetherian orders