Constructive Order Completeness (2004)

Cached

Download Links

by Marian Alexandru Baroni
Citations:2 - 2 self

Active Bibliography

2 Cauchy nets in the constructive theory of apartness spaces – Douglas Bridges - 2002
7 Apartness spaces as framework for constructive topology – Douglas Bridges - 2003
2 A Constructive Theory of Point-Set Nearness – Luminita Vita, Douglas Bridges - 2001
Separatedness in Constructive Topology – Douglas Bridges, et al. - 2003
3 The Constructive Implicit Function Theorem and Applications in Mechanics – Douglas Bridges, Cristian Calude, Boris Pavlov, Doru Stefanescu, D. Bridges, C. Calude, B. Pavlov - 1997
1 Constructive Aspects of the Dirichlet Problem 1 – Douglas Bridges, Wang Yuchuan
6 Constructive Mathematics, in Theory and Programming Practice – Douglas Bridges, Steve Reeves - 1997
A Tour with Constructive Real Numbers – Alberto Ciaffaglione, Pietro Di Gianantonio
3 Constructive Closed Range and Open Mapping Theorems – Douglas Bridges, Hajime Ishihara - 1998
5 Sequential continuity of linear mappings in constructive mathematics – Hajime Ishihara - 1997
13 A certified, corecursive implementation of exact real numbers – Alberto Ciaffaglione - 2006
1 Constructive theory of Banach algebras – Thierry Coquand
WHITHER MATHEMATICS? – E. B. Davies - 2004
1 Adjoints, absolute values and polar decompositions – Douglas Bridges, Fred Richman, Peter Schuster, Communicated William, B. Arveson
Did Brouwer Really Believe That? – Douglas S. Bridges - 2007
1 Solving the Dirichlet problem constructively – D. S. Bridges, M. Mckubre-jordens
Documenta Math. 973 Inheriting the Anti-Specker Property – Douglas S. Bridges, Communicated Anil Nerode - 2009
3 Constructive Analysis with Witnesses – Helmut Schwichtenberg
Documenta Math. 597 Characterising Weak-Operator Continuous Linear Functionals on B(H) constructively – Douglas S. Bridges, Communicated Anil Nerode - 2011