scientific article; zbMATH DE number 2085165

zbMATH Open1054.03038MaRDI QIDQ4736388FDOQ4736388

Authors: Alberto Ciaffaglione, Pietro Di Gianantonio 

Publication date: 9 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2277/22770041.htm

Title of this publication is not available (Why is that?)

Recommendations

• A natural construction for the real numbers
• Generalized real numbers in constructive mathematics
• Two concrete new constructions of the real numbers
• On the constructive Dedekind reals
• scientific article; zbMATH DE number 4012709
• scientific article; zbMATH DE number 5071262
• Real analysis. A constructive approach
• Real analysis. A constructive approach

zbMATH Keywords

constructive real numbersminimal axiomatization

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Constructive and recursive analysis (03F60)

Cited In (2)

• A certified, corecursive implementation of exact real numbers
• Constructing the real numbers in HOL

This page was built for publication:

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