Finite methods in mathematical practice

DOI10.1515/9781614518471.351zbMATH Open1329.03013OpenAlexW2489738348WikidataQ61835232 ScholiaQ61835232MaRDI QIDQ3452183FDOQ3452183

Peter Schuster, Laura Crosilla

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

Recommendations

• New Computational Paradigms
• H for Hilbert. \dots and M for mathematics
• Hilbert's program sixty years later
• A logical approach to abstract algebra
• scientific article; zbMATH DE number 1082863

zbMATH Keywords

Noetherian ringsdistributive latticesconstructive algebraHilbert's programmefinite methodsZariski spectrumVerall dimension

Mathematics Subject Classification ID

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

Cited In (10)

• Towards formal Baer criteria
• A constructive picture of Noetherian conditions and well quasi-orders
• Axiomatic versus constructive procedures in mathematics
• New Computational Paradigms
• Finitization procedures and finite model property
• A formal proof of the projective Eisenbud-Evans-Storch theorem
• Syntax for Semantics: Krull’s Maximal Ideal Theorem
• Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
• Cut elimination for entailment relations
• Methodology of Numerical Computations with Infinities and Infinitesimals

This page was built for publication: Finite methods in mathematical practice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3452183)