The following pages link to Hajime Ishihara (Q220748):
Displaying 45 items.
- Constructive Existence of Minkowski Functionals (Q4022087) (← links)
- Locating the Range of an Operator on a Hilbert Space (Q4024886) (← links)
- Continuity properties in constructive mathematics (Q4032642) (← links)
- A Definitive Constructive Open Mapping Theorem? (Q4224088) (← links)
- Complements of Intersections in Constructive Mathematics (Q4304147) (← links)
- Absolute Continuity and the Uniqueness of the Constructive Functional Calculus (Q4315326) (← links)
- (Q4411817) (← links)
- (Q4414504) (← links)
- Locating subsets of a normed space (Q4417219) (← links)
- A constructive look at the completeness of the space (ℝ) (Q4451730) (← links)
- (Q4520522) (← links)
- (Q4520530) (← links)
- (Q4520811) (← links)
- (Q4552733) (← links)
- (Q4552740) (← links)
- An omniscience principle, the König Lemma and the Hahn‐Banach theorem (Q4733862) (← links)
- Computing infima on convex sets, with applications in Hilbert spaces (Q4813691) (← links)
- (Q4838046) (← links)
- (Q4939409) (← links)
- (Q4981450) (← links)
- (Q5004972) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- Non-Deterministic Inductive Definitions and Fullness (Q5221851) (← links)
- CODING WITH MINIMAL PROGRAMS (Q5249273) (← links)
- (Q5310873) (← links)
- The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice (Q5412172) (← links)
- Unique Existence and Computability in Constructive Reverse Mathematics (Q5425338) (← links)
- (Q5444092) (← links)
- Separation properties in neighbourhood and quasi‐apartness spaces (Q5448616) (← links)
- Brouwer's fan theorem and unique existence in constructive analysis (Q5462988) (← links)
- TWO-PHOTON NONLINEAR INTERACTION MEDIATED BY CAVITY QUANTUM ELECTRODYNAMICS SYSTEMS (Q5484241) (← links)
- A continuity principle, a version of Baire's theorem and a boundedness principle (Q5502822) (← links)
- (Q5710547) (← links)
- (Q5718575) (← links)
- On constructing completions (Q5718698) (← links)
- Generalized geometric theories and set-generated classes (Q5740664) (← links)
- Completeness and cocompleteness of the categories of basic pairs and concrete spaces (Q5740674) (← links)
- Constructive closed range and open mapping theorems (Q5951541) (← links)
- Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models (Q5958296) (← links)
- Transient Dynamics of Super Bloch Oscillations of a 1D Holstein Polaron under the Influence of an External AC Electric Field (Q6058608) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
- Varieties of the Weak Kőnig Lemma and the Disjunctive Dependent Choice (Q6111740) (← links)
- Reflexive combinatory algebras (Q6166681) (← links)
- Equivalents of the finitary non-deterministic inductive definitions (Q6315579) (← links)
- Constructive functional analysis: an introduction (Q6600648) (← links)
