Abstract | ||
---|---|---|
The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we address their expressivity considering the alternative axiomatizations. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/3-540-45842-5_3 | TYPES |
Keywords | Field | DocType |
minimal axiomatization,constructive real numbers,constructive real number,constructive axiom,alternative axiomatizations,reference model,second order,working group,logical framework,calculus of constructions,axiom of choice,equivalence relation | Discrete mathematics,Constructive proof,Constructivism (mathematics),Axiom,Computer science,Constructive,Algorithm,Cauchy sequence,Constructive set theory,Real number,Constructive analysis | Conference |
ISBN | Citations | PageRank |
3-540-43287-6 | 2 | 0.89 |
References | Authors | |
6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alberto Ciaffaglione | 1 | 58 | 9.97 |
pietro di gianantonio | 2 | 167 | 17.30 |