scientific article; zbMATH DE number 2182805

zbMath1159.12306MaRDI QIDQ4681541

Henri Lombardi

Publication date: 23 June 2005

Full work available at URL: http://pmb.univ-fcomte.fr/2001/Lombardi2.pdf

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Constructive mathematicsArtin-Schreier Theory17-th Hilbert problemHilbert Program

Mathematics Subject Classification ID

Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Mechanization of proofs and logical operations (03B35) Other constructive mathematics (03F65)

Related Items (4)

A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem ⋮ Making the use of maximal ideals constructive ⋮ Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa ⋮ Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)

This page was built for publication: