Douglas S. Bridges

Helmut Schwichtenberg

Log. J. IGPL, 2025

2022

Morse set theory as a foundation for constructive mathematics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

2016

Z-stability in Constructive Analysis.

[BibT_eX]

[DOI]

James E. Dent

Log. Methods Comput. Sci., 2016

A constructive examination of rectifiability.

[BibT_eX]

[DOI]

Matthew Hendtlass

Erik Palmgren

J. Log. Anal., 2016

Apartness spaces and uniform neighbourhood structures.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2016

2014

Locating Ax, where A is a subspace of B(H).

[BibT_eX]

[DOI]

Douglas Suth Bridges

Log. Methods Comput. Sci., 2014

2013

Uniformly convex Banach spaces are reflexive - constructively.

[BibT_eX]

[DOI]

Math. Log. Q., 2013

Solving the Dirichlet problem constructively.

[BibT_eX]

[DOI]

J. Log. Anal., 2013

A first constructive look at the comparison of projections.

[BibT_eX]

[DOI]

Luminita Simona Vîta

Log. J. IGPL, 2013

Two direct proofs that LLPO implies the detachable fan theorem.

[BibT_eX]

[DOI]

James E. Dent

Log. J. IGPL, 2013

Characterising dominated weak-operator continuous functionals on subspaces of B(H).

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2013

2012

How to construct a product of a-frames.

[BibT_eX]

[DOI]

Math. Log. Q., 2012

Double sequences, almost Cauchyness and BD-N.

[BibT_eX]

[DOI]

Erik Palmgren

Log. J. IGPL, 2012

Precompact Apartness Spaces

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Almost new pre-apartness from old.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2012

Reflections on function spaces.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2012

Compactness notions for an apartness space.

[BibT_eX]

[DOI]

Arch. Math. Log., 2012

Square Roots and Powers in Constructive Banach Algebra Theory.

[BibT_eX]

[DOI]

Proceedings of the How the World Computes, 2012

Constructing the Infimum of Two Projections.

[BibT_eX]

[DOI]

Proceedings of the Computation, Physics and Beyond, 2012

2011

Locating subsets of B(H) relative to seminorms inducing the strong-operator topology.

[BibT_eX]

[DOI]

J. Log. Anal., 2011

The anti-Specker property, uniform sequential continuity, and a countable compactness property.

[BibT_eX]

[DOI]

Log. J. IGPL, 2011

Omniscience, sequential compactness, and the anti-Specker property.

[BibT_eX]

[DOI]

Log. J. IGPL, 2011

Apartness and Uniformity - A Constructive Development.

[BibT_eX]

[DOI]

Luminita Simona Vîta

Theory and Applications of Computability, Springer, ISBN: 978-3-642-22414-0, 2011

2010

Continuous homomorphisms of R onto a compact group.

[BibT_eX]

[DOI]

Matthew Hendtlass

Math. Log. Q., 2010

The anti-Specker property, positivity, and total boundedness.

[BibT_eX]

[DOI]

Math. Log. Q., 2010

Continuous isomorphisms from R onto a complete abelian group.

[BibT_eX]

[DOI]

Matthew Hendtlass

J. Symb. Log., 2010

Continuity and Lipschitz constants for projections.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Glueing continuous functions constructively.

[BibT_eX]

[DOI]

Iris Loeb

Arch. Math. Log., 2010

2009

Rearranging Series Constructively.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2009

Constructive notions of equicontinuity.

[BibT_eX]

[DOI]

Arch. Math. Log., 2009

A Constructive Study of Landau's Summability Theorem.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, 2009

2008

Apartness, compactness and nearness.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Uniform Continuity Properties of Preference Relations.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2008

Product a-frames and proximity.

[BibT_eX]

[DOI]

Math. Log. Q., 2008

Continuity properties of preference relations.

[BibT_eX]

[DOI]

Marian Alexandru Baroni

Math. Log. Q., 2008

Constructive Notions of Maximality for Ideals.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2008

The anti-Specker property, a Heine-Borel property, and uniform continuity.

[BibT_eX]

[DOI]

Arch. Math. Log., 2008

2007

The pseudocompactness of [0, 1] is equivalent to the uniform continuity theorem.

[BibT_eX]

[DOI]

J. Symb. Log., 2007

Constructing local optima on a compact interval.

[BibT_eX]

[DOI]

Arch. Math. Log., 2007

Colocatedness and Lebesgue Integrability.

[BibT_eX]

[DOI]

Proceedings of the Computation and Logic in the Real World, 2007

2006

A constructive treatment of Urysohn's Lemma in an apartness space.

[BibT_eX]

[DOI]

Math. Log. Q., 2006

The fan theorem and unique existence of maxima.

[BibT_eX]

[DOI]

J. Symb. Log., 2006

Pre-apartness structures on spaces of functions.

[BibT_eX]

[DOI]

Luminita Simona Vîta

J. Complex., 2006

A Bizarre Property Equivalent to the Pi10-Fan Theorem.

[BibT_eX]

[DOI]

Log. J. IGPL, 2006

2005

A Weak Constructive Sequential Compactness Property and the Fan Theorem.

[BibT_eX]

[DOI]

Log. J. IGPL, 2005

Strong continuity implies uniform sequential continuity.

[BibT_eX]

[DOI]

Arch. Math. Log., 2005

Compactness in apartness spaces?

[BibT_eX]

[DOI]

Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

Proximal Connectedness.

[BibT_eX]

Proceedings of the CCA 2005, 2005

An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y).

[BibT_eX]

Proceedings of the CCA 2005, 2005

Ideals in Constructive Banach Algebra Theory.

[BibT_eX]

Proceedings of the CCA 2005, 2005

The constructive uniqueness of the locally convex topology on rn.

[BibT_eX]

Proceedings of the From sets and types to topology and analysis, 2005

Approximations to the numerical range of an element of a Banach algebra.

[BibT_eX]

Proceedings of the From sets and types to topology and analysis, 2005

Introduction.

[BibT_eX]

Errett Bishop

Proceedings of the From sets and types to topology and analysis, 2005

2004

First steps in constructive game theory.

[BibT_eX]

[DOI]

Math. Log. Q., 2004

Constructive complements of unions of two closed sets.

[BibT_eX]

[DOI]

Math. Log. Q., 2004

Corrigendum to "A proof - technique in uniform space theory".

[BibT_eX]

[DOI]

J. Symb. Log., 2004

A General Constructive Proof Technique.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Computability and Complexity in Analysis, 2004

2003

A constructive theory of point-set nearness.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Strong and Uniform Continuity - the Uniform Space Case.

[BibT_eX]

[DOI]

LMS J. Comput. Math., 2003

A proof-technique in uniform space theory.

[BibT_eX]

[DOI]

J. Symb. Log., 2003

Apartness spaces as a framework for constructive topology.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2003

2002

Kernels of seminorms in constructive analysis.

[BibT_eX]

[DOI]

Nicholas Dudley Ward

Theor. Comput. Sci., 2002

Apartness, Topology, and Uniformity: a Constructive View.

[BibT_eX]

[DOI]

Math. Log. Q., 2002

Reality and Virtual Reality in Mathematics.

[BibT_eX]

Bull. EATCS, 2002

Compactness and Continuity, Constructively Revisited.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001

Characterising Near Continuity Constructively.

[BibT_eX]

[DOI]

Math. Log. Q., 2001

A Constructive Version of the Spectral Mapping Theorem.

[BibT_eX]

[DOI]

Math. Log. Q., 2001

Bounded Variation Implies Regulated: A Constructive Proof.

[BibT_eX]

[DOI]

Ayan Mahalanobis

J. Symb. Log., 2001

Increasing, Nondecreasing, and Virtually Continuous Functions.

[BibT_eX]

[DOI]

Ayan Mahalanobis

J. Autom. Lang. Comb., 2001

Dini's Theorem: A Constructive Case Study.

[BibT_eX]

[DOI]

Proceedings of the Combinatorics, 2001

Apartness as a Relation Between Subsets.

[BibT_eX]

[DOI]

Proceedings of the Combinatorics, 2001

2000

Sequential Continuity of Functions in Constructive Analysis.

[BibT_eX]

[DOI]

Ayan Mahalanobis

Math. Log. Q., 2000

A Constructive Analysis of a Proof that the Numerical Range is Convex.

[BibT_eX]

[DOI]

LMS J. Comput. Math., 2000

1999

Constructive Mathematics: A Foundation for Computable Analysis.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

Weak-operator Continuity and the Existence Of Adjoints.

[BibT_eX]

[DOI]

Math. Log. Q., 1999

Can Constructive Mathematics be Applied in Physics?

[BibT_eX]

[DOI]

J. Philos. Log., 1999

Weak Continuity Properties in Constructive Analysis.

[BibT_eX]

[DOI]

Log. J. IGPL, 1999

Linear Independence without Choice.

[BibT_eX]

[DOI]

Fred Richman

Ann. Pure Appl. Log., 1999

Constructive Notes on Uniform and Locally Convex Spaces.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1998

A Definitive Constructive Open Mapping Theorem?

[BibT_eX]

[DOI]

Math. Log. Q., 1998

Sequentially Continuous Linear Mappings in Constructive Analysis.

[BibT_eX]

[DOI]

Ray Mines

J. Symb. Log., 1998

Foundations of real and abstract analysis.

[BibT_eX]

Graduate texts in mathematics 174, Springer, ISBN: 978-0-387-98239-7, 1998

1997

Constructive Aspects of the Dirichlet Problem.

[BibT_eX]

[DOI]

Wang Yuchuan

J. Univers. Comput. Sci., 1997

Logic in Computer Science.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1997

Paradise lost, or paradise regained?.

[BibT_eX]

Bull. EATCS, 1997

1995

Constructive mathematics and unbounded operators - A reply to Hellman.

[BibT_eX]

[DOI]

J. Philos. Log., 1995

1994

On Recursive Bounds for the Exceptional Values in Speed-Up.

[BibT_eX]

[DOI]

Cristian Calude

Theor. Comput. Sci., 1994

Absolute Continuity and the Uniqueness of the Constructive Functional Calculus.

[BibT_eX]

[DOI]

Math. Log. Q., 1994

Complements of Intersections in Constructive Mathematics.

[BibT_eX]

[DOI]

Math. Log. Q., 1994

Computability: a mathematical sketchbook.

[BibT_eX]

[DOI]

Graduate texts in mathematics 146, Springer, ISBN: 3540941746, 1994

1993

Constructive Notions of Strict Convexity.

[BibT_eX]

[DOI]

Math. Log. Q., 1993

Sequential, Pointwise, and Uniform Continuity: A Constructive Note.

[BibT_eX]

[DOI]

Math. Log. Q., 1993

1989

A Constructive Treatment of Open and Unopen Mapping Theorems.

[BibT_eX]

[DOI]

William Julian

Ray Mines

Math. Log. Q., 1989

A General Constructive Intermediate Value Theorem.

[BibT_eX]

[DOI]

Math. Log. Q., 1989

1979

Geometric Intuition and Elementary Constructive Analysis.

[BibT_eX]

[DOI]

Math. Log. Q., 1979

A Criterion for Compactness in Metric Spaces?

[BibT_eX]

[DOI]

Math. Log. Q., 1979

On the Constructive Convergence of Series of Independent Functions.

[BibT_eX]

[DOI]

Math. Log. Q., 1979

1978

On Weak Operator Compactness of the Unit Ball of L(H).

[BibT_eX]

[DOI]

Math. Log. Q., 1978

A Note on Morse's Lambda-Notation in Set Theory.

[BibT_eX]

[DOI]