Finite Methods in Mathematical Practice

DOI10.1515/9781614518471.351zbMath1329.03013OpenAlexW2489738348WikidataQ61835232 ScholiaQ61835232MaRDI QIDQ3452183

Laura Crosilla, Peter M. Schuster

Publication date: 18 November 2015

Published in: Formalism and Beyond (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/9781614518471.351

zbMATH Keywords

distributive latticesNoetherian ringsconstructive algebraHilbert's programmefinite methodsZariski spectrumVerall dimension

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Applications of logic to commutative algebra (13L05) History of mathematical logic and foundations (03-03) Other constructive mathematics (03F65)

Related Items (5)

A constructive picture of Noetherian conditions and well quasi-orders ⋮ A formal proof of the projective Eisenbud-Evans-Storch theorem ⋮ Cut elimination for entailment relations ⋮ Towards formal Baer criteria ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem

This page was built for publication: Finite Methods in Mathematical Practice