Finite methods in mathematical practice

DOI10.1515/9781614518471.351MaRDI QIDQ3452183zbMATH OpenOpenAlexWikidataFDO

Authors Laura Crosilla, Peter 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

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)

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

Cited in

(10)

• Syntax for semantics: Krull's maximal ideal theorem
• Towards formal Baer criteria
• Axiomatic versus constructive procedures in mathematics
• A constructive picture of Noetherian conditions and well quasi-orders
• Finitization procedures and finite model property
• New Computational Paradigms
• A formal proof of the projective Eisenbud-Evans-Storch 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)