| Publication | Date of Publication | Type |
|---|
| Constructive functional analysis: an introduction | 2024-09-09 | Paper |
Transient Dynamics of Super Bloch Oscillations of a 1D Holstein Polaron under the Influence of an External AC Electric Field
Annalen der Physik | 2023-11-01 | Paper |
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
The Bulletin of Symbolic Logic | 2023-10-13 | Paper |
Elements of Constructive Analysis
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
Constructive Functional Analysis
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
An Introduction to Constructive Reverse Mathematics
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
Varieties of the Weak Kőnig Lemma and the Disjunctive Dependent Choice
Mathematics for Computation (M4C) | 2023-08-04 | Paper |
Reflexive combinatory algebras
Journal Of Logic And Computation | 2023-08-03 | Paper |
Bishop-Style Constructive Reverse Mathematics
Theory and Applications of Computability | 2022-01-26 | Paper |
| scientific article; zbMATH DE number 7377989 (Why is no real title available?) | 2021-08-03 | Paper |
On the independence of premiss axiom and rule
Archive for Mathematical Logic | 2020-10-15 | Paper |
The monotone completeness theorem in constructive reverse mathematics
Mathesis Universalis, Computability and Proof | 2020-08-10 | Paper |
Non-deterministic inductive definitions and fullness
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-03 | Paper |
Equivalents of the finitary non-deterministic inductive definitions
Annals of Pure and Applied Logic | 2019-07-10 | Paper |
Equivalents of the finitary non-deterministic inductive definitions
(available as arXiv preprint) | 2019-03-14 | Paper |
The binary expansion and the intermediate value theorem in constructive reverse mathematics
Archive for Mathematical Logic | 2019-01-24 | Paper |
Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
Archive for Mathematical Logic | 2019-01-14 | Paper |
On Brouwer's continuity principle
Indagationes Mathematicae. New Series | 2018-10-08 | Paper |
Generalized geometric theories and set-generated classes
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Completeness and cocompleteness of the categories of basic pairs and concrete spaces
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
A note on the independence of premiss rule
Mathematical Logic Quarterly (MLQ) | 2016-03-17 | Paper |
Embedding classical in minimal implicational logic
Mathematical Logic Quarterly (MLQ) | 2016-03-17 | Paper |
Some principles weaker than Markov's principle
Archive for Mathematical Logic | 2015-11-18 | Paper |
Coding with minimal programs
International Journal of Foundations of Computer Science | 2015-04-30 | Paper |
Classical propositional logic and decidability of variables in intuitionistic propositional logic
Logical Methods in Computer Science | 2014-09-05 | Paper |
| Some conservative extension results on classical and intuitionistic sequent calculi | 2014-06-24 | Paper |
| The weak König lemma, Brouwer's fan theorem, De Morgan's law, and dependent choice | 2014-04-25 | Paper |
Uniformly convex Banach spaces are reflexive -- constructively
Mathematical Logic Quarterly (MLQ) | 2013-10-30 | Paper |
Relating Bishop's function spaces to neighbourhood spaces
Annals of Pure and Applied Logic | 2013-03-15 | Paper |
A predicative completion of a uniform space
Annals of Pure and Applied Logic | 2012-06-01 | Paper |
The uniform boundedness theorem and a boundedness principle
Annals of Pure and Applied Logic | 2012-06-01 | Paper |
Two subcategories of apartness spaces
Annals of Pure and Applied Logic | 2011-12-12 | Paper |
On the contrapositive of countable choice
Archive for Mathematical Logic | 2011-03-02 | Paper |
Kronecker's density theorem and irrational numbers in constructive reverse mathematics
Mathematische Semesterberichte | 2010-05-07 | Paper |
Almost locatedness in uniform spaces
Czechoslovak Mathematical Journal | 2009-03-31 | Paper |
Almost locatedness in uniform spaces
Czechoslovak Mathematical Journal | 2009-03-31 | Paper |
Relativization of Real Numbers to a Universe
Synthese Library | 2009-03-12 | Paper |
A continuity principle, a version of Baire's theorem and a boundedness principle
Journal of Symbolic Logic | 2009-01-09 | Paper |
Apartness, compactness and nearness
Theoretical Computer Science | 2008-10-21 | Paper |
Separation properties in neighbourhood and quasi‐apartness spaces
Mathematical Logic Quarterly | 2008-03-07 | Paper |
| A constructive Banach inverse mapping theorem in \(F\)-spaces | 2008-02-22 | Paper |
Unique Existence and Computability in Constructive Reverse Mathematics
Lecture Notes in Computer Science | 2007-11-13 | Paper |
| scientific article; zbMATH DE number 5200708 (Why is no real title available?) | 2007-10-15 | Paper |
Weak König's lemma implies Brouwer's fan theorem: a direct proof
Notre Dame Journal of Formal Logic | 2007-02-15 | Paper |
Binary refinement implies discrete exponentiation
Studia Logica | 2007-01-29 | Paper |
A new constructive version of Baire's theorem
Hokkaido Mathematical Journal | 2006-10-04 | Paper |
TWO-PHOTON NONLINEAR INTERACTION MEDIATED BY CAVITY QUANTUM ELECTRODYNAMICS SYSTEMS
International Journal of Modern Physics B | 2006-08-24 | Paper |
Quasi-apartness and neighbourhood spaces
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
Quotient topologies in constructive set theory and type theory
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
Drastic Effects of Damping Mechanisms on Third-Order Optical Nonlinearity
Journal of the Physical Society of Japan | 2006-02-21 | Paper |
| scientific article; zbMATH DE number 2247263 (Why is no real title available?) | 2006-01-16 | Paper |
On constructing completions
Journal of Symbolic Logic | 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 2235220 (Why is no real title available?) | 2005-12-02 | Paper |
Strong continuity implies uniform sequential continuity
Archive for Mathematical Logic | 2005-11-24 | Paper |
Brouwer's fan theorem and unique existence in constructive analysis
MLQ | 2005-08-01 | Paper |
Compactness under constructive scrutiny
MLQ | 2005-02-16 | Paper |
Computing infima on convex sets, with applications in Hilbert spaces
Proceedings of the American Mathematical Society | 2004-08-13 | Paper |
Ishihara's proof technique in constructive analysis
Indagationes Mathematicae. New Series | 2004-06-15 | Paper |
A constructive look at the completeness of the space (ℝ)
Journal of Symbolic Logic | 2004-03-01 | 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 |
Locating subsets of a normed space
Proceedings of the American Mathematical Society | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1953100 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1948156 (Why is no real title available?) | 2003-07-10 | Paper |
A Constructive Uniform Continuity Theorem
The Quarterly Journal of Mathematics | 2003-02-06 | Paper |
| scientific article; zbMATH DE number 1818153 (Why is no real title available?) | 2002-10-21 | Paper |
| scientific article; zbMATH DE number 1665440 (Why is no real title available?) | 2002-06-23 | Paper |
Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models
Theoretical Computer Science | 2002-03-03 | Paper |
Feasibly constructive analysis
RIMS Kokyuroku | 2001-09-23 | Paper |
| scientific article; zbMATH DE number 1543335 (Why is no real title available?) | 2001-02-27 | Paper |
| scientific article; zbMATH DE number 1543074 (Why is no real title available?) | 2001-02-26 | Paper |
| scientific article; zbMATH DE number 1543067 (Why is no real title available?) | 2001-02-26 | Paper |
Locating subsets of a Hilbert space
Proceedings of the American Mathematical Society | 2001-02-19 | Paper |
| scientific article; zbMATH DE number 1795219 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1795213 (Why is no real title available?) | 2001-01-01 | Paper |
Function algebraic characterizations of the polytime functions
Computational Complexity | 2000-11-20 | Paper |
| scientific article; zbMATH DE number 1406469 (Why is no real title available?) | 2000-07-05 | Paper |
Decidable Kripke models of intuitionistic theories
Annals of Pure and Applied Logic | 1999-11-16 | Paper |
A Definitive Constructive Open Mapping Theorem?
Mathematical Logic Quarterly | 1999-08-02 | Paper |
Computable Kripke models and intermediate logics
Information and Computation | 1999-01-18 | Paper |
Spectra of selfadjoint operators in constructive analysis
Indagationes Mathematicae. New Series | 1996-12-09 | Paper |
| scientific article; zbMATH DE number 770280 (Why is no real title available?) | 1995-07-04 | Paper |
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus
Mathematical Logic Quarterly | 1994-12-08 | Paper |
Complements of Intersections in Constructive Mathematics
Mathematical Logic Quarterly | 1994-09-08 | Paper |
Markov's principle, Church's thesis and Lindelöf's theorem
Indagationes Mathematicae. New Series | 1994-09-01 | Paper |
Continuity properties in constructive mathematics
Journal of Symbolic Logic | 1993-04-01 | Paper |
Locating the Range of an Operator on a Hilbert Space
Bulletin of the London Mathematical Society | 1993-02-18 | Paper |
| Constructive Existence of Minkowski Functionals | 1993-01-17 | Paper |
Continuity and nondiscontinuity in constructive mathematics
Journal of Symbolic Logic | 1992-06-27 | Paper |
Constructive compact operators on a Hilbert space
Annals of Pure and Applied Logic | 1992-06-25 | Paper |
An omniscience principle, the König Lemma and the Hahn‐Banach theorem
Mathematical Logic Quarterly | 1990-01-01 | Paper |
Linear mappings are fairly well-behaved
Archiv der Mathematik | 1990-01-01 | Paper |
On the Constructive Hahn-Banach Theorem
Bulletin of the London Mathematical Society | 1989-01-01 | Paper |
Fixed Point Theorems for Lipspchitzian Semigroups
Canadian Mathematical Bulletin | 1989-01-01 | Paper |
Constructive Compact Linear Mappings
Bulletin of the London Mathematical Society | 1989-01-01 | Paper |
| A Nonlinear Ergodic Theorem for a Reversible Semigroup of Lipschitzian Mappings in a Hilbert Space | 1988-01-01 | Paper |
| Constructive Reflexivity of a Uniformly Convex Banach Space | 1988-01-01 | Paper |
Fixed point theorems for uniformly Lipschitzian semigroups in Hilbert spaces
Journal of Mathematical Analysis and Applications | 1987-01-01 | Paper |
Modules of convexity, characteristic of convexity and fixed point theorems
Kodai Mathematical Journal | 1987-01-01 | Paper |
