| Publication | Date of Publication | Type |
|---|
Sufficient convexity and best approximation
Documenta Mathematica | 2025-01-24 | Paper |
Constructive Banach Algebra Theory
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
Constructive Mathematical Economics
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
Apartness on Lattices and Between Sets
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
Reflections on 50 Years of Constructive Research
Mathematics for Computation (M4C) | 2023-08-04 | Paper |
Morse set theory as a foundation for constructive mathematics
Theoretical Computer Science | 2022-10-07 | Paper |
Constructive continuity of increasing functions
| 2020-12-15 | Paper |
The Arrow-Hahn construction in a locally compact metric space
Mathematical Topics on Representations of Ordered Structures and Utility Theory | 2020-11-12 | Paper |
The Continuum Hypothesis Implies Excluded Middle
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-03 | Paper |
Intuitionistic sequential compactness?
Indagationes Mathematicae. New Series | 2018-10-08 | Paper |
\(Z\)-stability in constructive analysis
Logical Methods in Computer Science | 2017-04-11 | Paper |
A constructive examination of rectifiability
Journal of Logic and Analysis | 2017-04-10 | Paper |
Apartness spaces and uniform neighbourhood structures
Annals of Pure and Applied Logic | 2016-06-03 | Paper |
Tightly bordered convex and co-convex sets
Scientiae Mathematicae Japonicae | 2016-03-17 | Paper |
Two direct proofs that LLPO implies the detachable fan theorem
Logic Journal of the IGPL | 2015-02-27 | Paper |
scientific article; zbMATH DE number 6386979 (Why is no real title available?)
| 2015-01-15 | Paper |
scientific article; zbMATH DE number 6307925 (Why is no real title available?)
| 2014-06-24 | Paper |
Locating \(\mathfrak{A}x\), where \(\mathfrak{A}\) is a subspace of \(\mathcal B(H)\)
Logical Methods in Computer Science | 2014-06-23 | Paper |
Uniformly convex Banach spaces are reflexive -- constructively
Mathematical Logic Quarterly (MLQ) | 2013-10-30 | Paper |
A first constructive look at the comparison of projections
Logic Journal of the IGPL | 2013-06-11 | Paper |
Continuity Properties of Preference Relations
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
Constructive aspects of Riemann's permutation theorem for series
| 2013-03-28 | Paper |
Characterising dominated weak-operator continuous functionals on subspaces of \(\mathcal B(H)\)
Annals of Pure and Applied Logic | 2013-03-15 | Paper |
Solving the Dirichlet problem constructively
Journal of Logic and Analysis | 2013-02-25 | Paper |
Locating subsets of \(\mathcal B(H)\) relative to seminorms inducing the strong-operator topology
Journal of Logic and Analysis | 2012-12-17 | Paper |
A constructive study of Landau's summability theorem
| 2012-09-28 | Paper |
Compactness notions for an apartness space
Archive for Mathematical Logic | 2012-09-18 | Paper |
How to construct a product of a-frames
Mathematical Logic Quarterly (MLQ) | 2012-09-12 | Paper |
Square Roots and Powers in Constructive Banach Algebra Theory
Lecture Notes in Computer Science | 2012-08-14 | Paper |
Double sequences, almost Cauchyness and BD-N
Logic Journal of the IGPL | 2012-08-01 | Paper |
Precompact apartness spaces
Logical Methods in Computer Science | 2012-07-03 | Paper |
Constructing the infimum of two projections
Computation, Physics and Beyond | 2012-06-15 | Paper |
Almost new pre-apartness from old
Annals of Pure and Applied Logic | 2012-06-01 | Paper |
Reflections on function spaces
Annals of Pure and Applied Logic | 2011-12-12 | Paper |
Characterizing weak-operator continuous linear functionals on \(B(H)\) constructively
Documenta Mathematica | 2011-12-09 | Paper |
Apartness and uniformity. A constructive development.
Theory and Applications of Computability | 2011-09-20 | Paper |
Omniscience, sequential compactness, and the anti-Specker property
Logic Journal of the IGPL | 2011-03-07 | Paper |
The anti-Specker property, uniform sequential continuity, and a countable compactness property
Logic Journal of the IGPL | 2011-03-07 | Paper |
A constructive study of Landau's summability theorem
| 2011-02-10 | Paper |
Inheriting the anti-Specker property
Documenta Mathematica | 2011-02-02 | Paper |
Continuous isomorphisms from R onto a complete abelian group
Journal of Symbolic Logic | 2010-10-04 | Paper |
Rearranging series constructively
| 2010-09-22 | Paper |
The anti-Specker property, positivity, and total boundedness
Mathematical Logic Quarterly | 2010-08-18 | Paper |
Glueing continuous functions constructively
Archive for Mathematical Logic | 2010-07-06 | Paper |
Continuous homomorphisms of R onto a compact group
MLQ | 2010-04-15 | Paper |
scientific article; zbMATH DE number 5676623 (Why is no real title available?)
| 2010-03-02 | Paper |
Powers of a Hermitian element in a Banach algebra
| 2010-03-02 | Paper |
scientific article; zbMATH DE number 5658692 (Why is no real title available?)
| 2010-01-15 | Paper |
Uniform continuity properties of preference relations
Notre Dame Journal of Formal Logic | 2010-01-13 | Paper |
Continuity and Lipschitz constants for projections
The Journal of Logic and Algebraic Programming | 2009-12-18 | Paper |
scientific article; zbMATH DE number 5604069 (Why is no real title available?)
| 2009-09-15 | Paper |
scientific article; zbMATH DE number 5598392 (Why is no real title available?)
| 2009-08-26 | Paper |
Constructive notions of equicontinuity
Archive for Mathematical Logic | 2009-07-24 | Paper |
scientific article; zbMATH DE number 5554672 (Why is no real title available?)
| 2009-05-18 | Paper |
Almost locatedness in uniform spaces
Czechoslovak Mathematical Journal | 2009-03-31 | Paper |
Journey into Apartness Space
Synthese Library | 2009-03-12 | Paper |
Apartness, compactness and nearness
Theoretical Computer Science | 2008-10-21 | Paper |
Continuity properties of preference relations
Mathematical Logic Quarterly | 2008-10-08 | Paper |
scientific article; zbMATH DE number 5287420 (Why is no real title available?)
| 2008-06-11 | Paper |
The anti-Specker property, a Heine-Borel property, and uniform continuity
Archive for Mathematical Logic | 2008-05-26 | Paper |
Product a‐frames and proximity
Mathematical Logic Quarterly | 2008-03-07 | Paper |
The pseudocompactness of [0.1 is equivalent to the uniform continuity theorem]
Journal of Symbolic Logic | 2008-02-25 | Paper |
A fan-theoretic equivalent of the antithesis of Specker's theorem
Indagationes Mathematicae. New Series | 2008-01-07 | Paper |
A simple constructive proof of Kronecker's density theorem
Elemente der Mathematik | 2007-11-27 | Paper |
Colocatedness and Lebesgue Integrability
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Constructing local optima on a compact interval
Archive for Mathematical Logic | 2007-03-06 | Paper |
A Bizarre Property Equivalent to the -Fan Theorem
Logic Journal of the IGPL | 2007-02-15 | Paper |
Pre-apartness structures on spaces of functions
Journal of Complexity | 2007-02-08 | Paper |
Ideals in constructive Banach algebra theory
Journal of Complexity | 2007-02-08 | Paper |
A constructive treatment of Urysohn's Lemma in an apartness space
MLQ | 2007-02-07 | Paper |
Finitely generated Banach algebras and local Nullstellensätze
| 2007-01-08 | Paper |
Techniques of constructive analysis
Universitext | 2006-11-08 | Paper |
Church's thesis and Bishop's constructivism
| 2006-10-16 | Paper |
Cauchy nets in uniform apartness spaces
| 2006-10-13 | Paper |
A new constructive version of Baire's theorem
Hokkaido Mathematical Journal | 2006-10-04 | Paper |
The fan theorem and unique existence of maxima
Journal of Symbolic Logic | 2006-08-03 | Paper |
scientific article; zbMATH DE number 2247266 (Why is no real title available?)
| 2006-01-16 | Paper |
scientific article; zbMATH DE number 2247267 (Why is no real title available?)
| 2006-01-16 | Paper |
scientific article; zbMATH DE number 2235220 (Why is no real title available?)
| 2005-12-02 | Paper |
scientific article; zbMATH DE number 2233169 (Why is no real title available?)
| 2005-11-28 | Paper |
Strong continuity implies uniform sequential continuity
Archive for Mathematical Logic | 2005-11-24 | Paper |
A Weak Constructive Sequential Compactness Property and the Fan Theorem
Logic Journal of the IGPL | 2005-09-28 | Paper |
First steps in constructive game theory
Mathematical Logic Quarterly | 2005-02-16 | Paper |
A proof–technique in uniform space theory
Journal of Symbolic Logic | 2005-02-09 | Paper |
Strong and Uniform Continuity – the Uniform Space Case
LMS Journal of Computation and Mathematics | 2004-11-18 | Paper |
scientific article; zbMATH DE number 2113475 (Why is no real title available?)
| 2004-11-01 | Paper |
Exact, Continuous Boundary Crossings Out of Convex Sets in RN
| 2004-10-25 | Paper |
Computing infima on convex sets, with applications in Hilbert spaces
Proceedings of the American Mathematical Society | 2004-08-13 | Paper |
Constructive complements of unions of two closed sets
Mathematical Logic Quarterly | 2004-08-06 | Paper |
Ishihara's proof technique in constructive analysis
Indagationes Mathematicae. New Series | 2004-06-15 | Paper |
The polydisk nullstellensatz
Proceedings of the American Mathematical Society | 2004-03-29 | Paper |
A constructive theory of point-set nearness.
Theoretical Computer Science | 2004-03-14 | Paper |
Separatedness in constructive topology
Documenta Mathematica | 2004-01-19 | Paper |
Strong Versus Uniform Continuity: A Constructive Round
Quaestiones Mathematicae | 2003-10-29 | Paper |
Constructive closed range and open mapping theorems
Indagationes Mathematicae. New Series | 2003-09-16 | Paper |
Locating the range of an operator with an adjoint
Indagationes Mathematicae. New Series | 2003-08-07 | Paper |
scientific article; zbMATH DE number 1948156 (Why is no real title available?)
| 2003-07-10 | Paper |
scientific article; zbMATH DE number 1928916 (Why is no real title available?)
| 2003-06-16 | Paper |
Apartness spaces as a framework for constructive topology
Annals of Pure and Applied Logic | 2003-03-09 | Paper |
scientific article; zbMATH DE number 1665445 (Why is no real title available?)
| 2003-02-09 | Paper |
Bounded variation implies regulated: a constructive proof
Journal of Symbolic Logic | 2003-01-30 | Paper |
scientific article; zbMATH DE number 1824681 (Why is no real title available?)
| 2002-11-26 | Paper |
scientific article; zbMATH DE number 1818153 (Why is no real title available?)
| 2002-10-21 | Paper |
A constructive version of the spectral mapping theorem
Mathematical Logic Quarterly (MLQ) | 2002-09-16 | Paper |
Increasing, nondecreasing, and virtually continuous functions
Journal of Automata, Languages and Combinatorics | 2002-09-05 | Paper |
Characterising near continuity constructively
Mathematical Logic Quarterly (MLQ) | 2002-09-04 | Paper |
Kernels of seminorms in constructive analysis.
Theoretical Computer Science | 2002-07-31 | Paper |
scientific article; zbMATH DE number 1743925 (Why is no real title available?)
| 2002-05-22 | Paper |
scientific article; zbMATH DE number 1665455 (Why is no real title available?)
| 2002-01-16 | Paper |
Apartness, Topology, and Uniformity: a Constructive View
| 2002-01-01 | Paper |
Constructing extensions of ultraweakly continuous linear functionals
Journal of Functional Analysis | 2001-11-30 | Paper |
Constructive Mathematics in Theory and Programming Practice
Philosophia Mathematica | 2001-10-30 | Paper |
PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY
Communications in Algebra | 2001-10-14 | Paper |
Converses of Bishop's lemma on located sets
Indagationes Mathematicae. New Series | 2001-06-28 | Paper |
The weak-operator sequential continuity of left multiplication
Indagationes Mathematicae. New Series | 2001-06-28 | Paper |
A constructive look at the real number line
| 2001-06-20 | Paper |
scientific article; zbMATH DE number 1543066 (Why is no real title available?)
| 2001-02-26 | Paper |
scientific article; zbMATH DE number 1488314 (Why is no real title available?)
| 2001-01-29 | Paper |
scientific article; zbMATH DE number 1795213 (Why is no real title available?)
| 2001-01-01 | Paper |
scientific article; zbMATH DE number 1547882 (Why is no real title available?)
| 2000-12-21 | Paper |
Constructive mathematics and quantum physics
International Journal of Theoretical Physics | 2000-11-14 | Paper |
Can constructive mathematics be applied in physics?
Journal of Philosophical Logic | 2000-10-22 | Paper |
A Constructive Analysis of a Proof that the Numerical Range is Convex
LMS Journal of Computation and Mathematics | 2000-09-25 | Paper |
scientific article; zbMATH DE number 1301805 (Why is no real title available?)
| 2000-07-24 | Paper |
A weak countable choice principle
Proceedings of the American Mathematical Society | 2000-07-10 | Paper |
Linear independence without choice
Annals of Pure and Applied Logic | 2000-07-05 | Paper |
A Constructive Look at Functions of Bounded Variation
Bulletin of the London Mathematical Society | 2000-06-22 | Paper |
scientific article; zbMATH DE number 1390063 (Why is no real title available?)
| 2000-04-26 | Paper |
scientific article; zbMATH DE number 1405558 (Why is no real title available?)
| 2000-02-23 | Paper |
Sequential Continuity of Functions in Constructive Analysis
| 2000-02-23 | Paper |
Constructive Weak Solutions of the Dirichlet Problem
Journal of the London Mathematical Society | 2000-01-27 | Paper |
A constructive proof of Gleason's theorem
Journal of Functional Analysis | 2000-01-09 | Paper |
The constructive implicit function theorem and applications in mechanics
Chaos, Solitons and Fractals | 1999-11-29 | Paper |
scientific article; zbMATH DE number 1263583 (Why is no real title available?)
| 1999-11-08 | Paper |
A Definitive Constructive Open Mapping Theorem?
Mathematical Logic Quarterly | 1999-08-02 | Paper |
Weak continuity properties in constructive analysis
Logic Journal of the IGPL | 1999-06-28 | Paper |
Constructive mathematics: a foundation for computable analysis
Theoretical Computer Science | 1999-06-21 | Paper |
Weak‐operator Continuity and the Existence of Adjoints
Mathematical Logic Quarterly | 1999-05-24 | Paper |
scientific article; zbMATH DE number 1091112 (Why is no real title available?)
| 1999-03-02 | Paper |
Constructing best approximations on a Jordan curve
Journal of Approximation Theory | 1998-10-21 | Paper |
Sequentially continuous linear mappings in constructive analysis
Journal of Symbolic Logic | 1998-10-07 | Paper |
Constructing ultraweakly continuous functionals on ℬ(ℋ)
Proceedings of the American Mathematical Society | 1998-09-22 | Paper |
Foundations of Real and Abstract Analysis
Graduate Texts in Mathematics | 1997-12-15 | Paper |
scientific article; zbMATH DE number 1040591 (Why is no real title available?)
| 1997-10-30 | Paper |
The constructive theory of preference relations on a locally compact space. II
Mathematical Social Sciences | 1997-09-04 | Paper |
Sets, complements and boundaries
Indagationes Mathematicae. New Series | 1997-03-11 | Paper |
Constructive mathematics and unbounded operators -- a reply to Hellman
Journal of Philosophical Logic | 1997-01-13 | Paper |
Spectra of selfadjoint operators in constructive analysis
Indagationes Mathematicae. New Series | 1996-12-09 | Paper |
Representations of preference orderings
Lecture Notes in Economics and Mathematical Systems | 1995-05-02 | Paper |
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus
Mathematical Logic Quarterly | 1994-12-08 | Paper |
On recursive bounds for the exceptional values in speed-up
Theoretical Computer Science | 1994-09-25 | Paper |
Constructive notions of strict convexity
Mathematical Logic Quarterly | 1994-09-08 | Paper |
Complements of Intersections in Constructive Mathematics
Mathematical Logic Quarterly | 1994-09-08 | Paper |
Sequential, pointwise, and uniform continuity: A constructive note
Mathematical Logic Quarterly | 1994-08-31 | Paper |
scientific article; zbMATH DE number 530148 (Why is no real title available?)
| 1994-03-17 | Paper |
scientific article; zbMATH DE number 218523 (Why is no real title available?)
| 1993-06-29 | Paper |
Locating the Range of an Operator on a Hilbert Space
Bulletin of the London Mathematical Society | 1993-02-18 | Paper |
The construction of a continuous demand function for uniformly rotund preferences
Journal of Mathematical Economics | 1993-01-16 | Paper |
Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\)
Journal of Mathematical Analysis and Applications | 1992-09-27 | Paper |
The constructive inequivalence of various notions of preference ordering
Mathematical Social Sciences | 1992-06-26 | Paper |
On the Lebesgue measurability of continuous functions in constructive analysis
Bulletin of the American Mathematical Society | 1992-06-25 | Paper |
A recursive counterexample to Debreu's theorem on the existence of a utility function
Mathematical Social Sciences | 1991-01-01 | Paper |
Preference, indifference, and Markov's principle
Mathematical Social Sciences | 1990-01-01 | Paper |
Linear mappings are fairly well-behaved
Archiv der Mathematik | 1990-01-01 | Paper |
A General Constructive Intermediate Value Theorem
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4112585 (Why is no real title available?)
| 1989-01-01 | Paper |
Approximate interpolation by functions in a Haar space
Journal of Approximation Theory | 1989-01-01 | Paper |
A Constructive Treatment of Open and Unopen Mapping Theorems
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
LOCATEDNESS, CONVEXITY, AND LEBESGUE MEASURABILITY
The Quarterly Journal of Mathematics | 1988-01-01 | Paper |
The Euclidean distance construction of order homomorphisms
Mathematical Social Sciences | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4002093 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4177052 (Why is no real title available?)
| 1987-01-01 | Paper |
Numerical representation of interval orders on a topological space
Journal of Economic Theory | 1986-01-01 | Paper |
scientific article; zbMATH DE number 4070894 (Why is no real title available?)
| 1985-01-01 | Paper |
Representing interval orders by a single real-valued function
Journal of Economic Theory | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3899600 (Why is no real title available?)
| 1985-01-01 | Paper |
On the Derivation of x n in a Ring
Proceedings of the American Mathematical Society | 1984-01-01 | Paper |
What is constructive mathematics?
The Mathematical Intelligencer | 1984-01-01 | Paper |
Numerical representation of intransitive preferences on a countable set
Journal of Economic Theory | 1983-01-01 | Paper |
A numerical representation of preferences with intransitive indifference
Journal of Mathematical Economics | 1983-01-01 | Paper |
Preference and utility. A constructive development
Journal of Mathematical Economics | 1982-01-01 | Paper |
Lipschitz Constants and Moduli of Continuity for the Chebyshev Projection
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3824384 (Why is no real title available?)
| 1982-01-01 | Paper |
Picard's Theorem
Transactions of the American Mathematical Society | 1982-01-01 | Paper |
A constructive proximinality property of finite-dimensional linear subspaces
Rocky Mountain Journal of Mathematics | 1981-01-01 | Paper |
A constructive look at positive linear functionals on L(H)
Pacific Journal of Mathematics | 1981-01-01 | Paper |
A constructive analysis of the Remes algorithm
Journal of Approximation Theory | 1981-01-01 | Paper |
Compactly generated Banach spaces
Archiv der Mathematik | 1981-01-01 | Paper |
On the isolation of zeroes of an analytic function
Pacific Journal of Mathematics | 1981-01-01 | Paper |
Bounded linear mappings of finite rank
Journal of Functional Analysis | 1981-01-01 | Paper |
Correction to: On the isolation of zeros of an analytic function
Pacific Journal of Mathematics | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3724444 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3724443 (Why is no real title available?)
| 1981-01-01 | Paper |
On Montel's Proof of the Great Picard Theorem
The American Mathematical Monthly | 1981-01-01 | Paper |
On the foundations of best approximation theory
Journal of Approximation Theory | 1980-01-01 | Paper |
A constructive development of Chebyshev approximation theory
Journal of Approximation Theory | 1980-01-01 | Paper |
Geometric Intuition and Elementary Constructive Analysis
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3621713 (Why is no real title available?)
| 1979-01-01 | Paper |
Connectivity properties of metric spaces
Pacific Journal of Mathematics | 1979-01-01 | Paper |
A Criterion for Compactness in Metric Spaces?
Mathematical Logic Quarterly | 1979-01-01 | Paper |
On the Constructive Convergence of Series of Independent Functions
Mathematical Logic Quarterly | 1979-01-01 | Paper |
On continuous Mappings between Locally Compact Metric Spaces
Bulletin of the London Mathematical Society | 1978-01-01 | Paper |
On Weak Operator Compactness of the Unit Ball of L(H)
Mathematical Logic Quarterly | 1978-01-01 | Paper |
On the Connectivity of Convex Sets
Bulletin of the London Mathematical Society | 1978-01-01 | Paper |
A Note on Morse's Lambda‐Notation in Set Theory
Mathematical Logic Quarterly | 1978-01-01 | Paper |
More on the Connectivity of Convex Sets
| 1978-01-01 | Paper |
The constructive Radon-Nikodym theorem
Pacific Journal of Mathematics | 1977-01-01 | Paper |
A Constructive Look at Orthonormal Bases in Hilbert Space
The American Mathematical Monthly | 1977-01-01 | Paper |
Some Notes on Continuity in Constructive Analysis
Bulletin of the London Mathematical Society | 1976-01-01 | Paper |
