| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Josef Berger, Douglas S. Bridges, Erik Palmgren |
Double sequences, almost Cauchyness and BD-N.  |
Logic Journal of the IGPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Reflections on function spaces. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Almost new pre-apartness from old. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Luminita Vîta |
Constructing the Infimum of Two Projections. |
Computation, Physics and Beyond |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
The anti-Specker property, uniform sequential continuity, and a countable compactness property. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Omniscience, sequential compactness, and the anti-Specker property. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Matthew Hendtlass |
Continuous homomorphisms of R onto a compact group. |
Math. Log. Q. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Hannes Diener |
The anti-Specker property, positivity, and total boundedness. |
Math. Log. Q. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Continuity and Lipschitz constants for projections. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Matthew Hendtlass |
Continuous isomorphisms from R onto a complete abelian group. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Josef Berger, Douglas S. Bridges |
A Constructive Study of Landau's Summability Theorem. |
J. UCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Iris Loeb |
Glueing continuous functions constructively. |
Arch. Math. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Berger, Douglas S. Bridges |
Rearranging Series Constructively. |
J. UCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Constructive notions of equicontinuity. |
Arch. Math. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Berger, Douglas S. Bridges |
A Constructive Study of Landau's Summability Theorem. |
CCA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marian Alexandru Baroni, Douglas S. Bridges |
Continuity properties of preference relations. |
Math. Log. Q. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Product a-frames and proximity. |
Math. Log. Q. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta |
Apartness, compactness and nearness. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Uniform Continuity Properties of Preference Relations. |
Notre Dame Journal of Formal Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Robin Havea |
Constructive Notions of Maximality for Ideals. |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marian Alexandru Baroni, Douglas S. Bridges |
Continuity Properties of Preference Relations. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Luminita Vîta |
Proximal Connectedness. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Josef Berger, Douglas S. Bridges |
The anti-Specker property, a Heine-Borel property, and uniform continuity. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03F65 |
| 1 | Douglas S. Bridges, Hannes Diener |
The pseudocompactness of [0, 1] is equivalent to the uniform continuity theorem. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Constructing local optima on a compact interval. |
Arch. Math. Log. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Colocatedness and Lebesgue Integrability. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Hannes Diener |
A constructive treatment of Urysohn's Lemma in an apartness space. |
Math. Log. Q. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Luminita Simona Vîta |
Pre-apartness structures on spaces of functions. |
J. Complexity |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Robin Havea, Peter Schuster |
Ideals in constructive Banach algebra theory. |
J. Complexity |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Berger, Douglas S. Bridges |
A Bizarre Property Equivalent to the Pi10-Fan Theorem. |
Logic Journal of the IGPL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Berger, Douglas S. Bridges, Peter Schuster |
The fan theorem and unique existence of maxima. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges |
A Weak Constructive Sequential Compactness Property and the Fan Theorem. |
Logic Journal of the IGPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Luminita Vîta |
A General Constructive Proof Technique. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta |
Strong continuity implies uniform sequential continuity. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta |
Compactness in apartness spaces? |
Spatial Representation |
2005 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Robin Havea, Peter Schuster |
Ideals in Constructive Banach Algebra Theory. |
CCA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Luminita Vîta |
Proximal Connectedness. |
CCA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Luminita Vîta |
An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y). |
CCA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges |
First steps in constructive game theory. |
Math. Log. Q. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Constructive complements of unions of two closed sets. |
Math. Log. Q. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Luminita Vîta |
Corrigendum to "A proof - technique in uniform space theory". |
J. Symb. Log. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Luminita Vîta, Douglas S. Bridges |
A constructive theory of point-set nearness. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Luminita Vîta |
A proof-technique in uniform space theory. |
J. Symb. Log. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Luminita Dediu |
Apartness spaces as a framework for constructive topology. |
Ann. Pure Appl. Logic |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Peter Schuster, Luminita Vîta |
Apartness, Topology, and Uniformity: a Constructive View. |
Math. Log. Q. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Nicholas Dudley Ward |
Kernels of seminorms in constructive analysis. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Reality and Virtual Reality in Mathematics. |
Bulletin of the EATCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Hajime Ishihara, Peter Schuster |
Compactness and Continuity, Constructively Revisited. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Robin Havea |
A Constructive Version of the Spectral Mapping Theorem. |
Math. Log. Q. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Luminita Vîta |
Characterising Near Continuity Constructively. |
Math. Log. Q. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Ayan Mahalanobis |
Bounded Variation Implies Regulated: A Constructive Proof. |
J. Symb. Log. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Ayan Mahalanobis |
Increasing, Nondecreasing, and Virtually Continuous Functions. |
Journal of Automata, Languages and Combinatorics |
2001 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Ayan Mahalanobis |
Sequential Continuity of Functions in Constructive Analysis. |
Math. Log. Q. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Luminita Dediu |
Weak-operator Continuity and the Existence Of Adjoints. |
Math. Log. Q. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Constructive Mathematics: A Foundation for Computable Analysis. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Luminita Dediu |
Weak Continuity Properties in Constructive Analysis. |
Logic Journal of the IGPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Fred Richman, Peter Schuster |
Linear Independence without Choice. |
Ann. Pure Appl. Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Luminita Dediu, Douglas S. Bridges |
Constructive Notes on Uniform and Locally Convex Spaces. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Hajime Ishihara |
A Definitive Constructive Open Mapping Theorem? |
Math. Log. Q. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Ray Mines |
Sequentially Continuous Linear Mappings in Constructive Analysis. |
J. Symb. Log. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov |
Logic in Computer Science. |
J. UCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Wang Yuchuan |
Constructive Aspects of the Dirichlet Problem. |
J. UCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Luminita Dediu |
Paradise lost, or paradise regained?. |
Bulletin of the EATCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Hajime Ishihara |
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus. |
Math. Log. Q. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Hajime Ishihara |
Complements of Intersections in Constructive Mathematics. |
Math. Log. Q. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Cristian Calude |
On Recursive Bounds for the Exceptional Values in Speed-Up. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Constructive Notions of Strict Convexity. |
Math. Log. Q. |
1993 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Sequential, Pointwise, and Uniform Continuity: A Constructive Note. |
Math. Log. Q. |
1993 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")