Approximating classical theorems

DOI10.1093/LOGCOM/8.6.839MaRDI QIDQ4228077zbMATH OpenOpenAlexFDO

Authors Stefano Baratella, Stefano Berardi

Publication date 13 July 2000

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/8.6.839

zbMATH Keywords

approximation of classical theorems by constructive theoremseffective constructiontrees equipped with Brouwer's topology

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Recommendations

• The classical Artin approximation theorems
• scientific article; zbMATH DE number 1263636
• Some approximation theorems
• Classical problems of rational approximation
• scientific article; zbMATH DE number 3135970
• scientific article; zbMATH DE number 486688
• scientific article; zbMATH DE number 4069484
• scientific article; zbMATH DE number 2062448
• scientific article; zbMATH DE number 2158988

Cited in

(5)

• Unique paths as formal points
• Constructive deciphering of classical proofs: the Artin theorem in Galois theory
• scientific article; zbMATH DE number 622665 (Why is no real title available?)
• Constructive topology and combinatorics
• scientific article; zbMATH DE number 1361536 (Why is no real title available?)

This page was built for publication: Approximating classical theorems

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