The following pages link to Hajime Ishihara (Q220748):
Displaying 50 items.
- A predicative completion of a uniform space (Q424538) (← links)
- The uniform boundedness theorem and a boundedness principle (Q424547) (← links)
- On the contrapositive of countable choice (Q627434) (← links)
- Two subcategories of apartness spaces (Q651317) (← links)
- Linear mappings are fairly well-behaved (Q752432) (← links)
- Binary refinement implies discrete exponentiation (Q861570) (← links)
- Weak König's lemma implies Brouwer's fan theorem: a direct proof (Q867405) (← links)
- Some principles weaker than Markov's principle (Q892139) (← links)
- Apartness, compactness and nearness (Q949606) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Fixed point theorems for uniformly Lipschitzian semigroups in Hilbert spaces (Q1098395) (← links)
- Modules of convexity, characteristic of convexity and fixed point theorems (Q1108570) (← links)
- Constructive compact operators on a Hilbert space (Q1177034) (← links)
- Computable Kripke models and intermediate logics (Q1271561) (← links)
- Decidable Kripke models of intuitionistic theories (Q1295382) (← links)
- Markov's principle, Church's thesis and Lindelöf's theorem (Q1315098) (← links)
- Locating the range of an operator with an adjoint (Q1397696) (← links)
- Ishihara's proof technique in constructive analysis (Q1433041) (← links)
- Function algebraic characterizations of the polytime functions (Q1587346) (← links)
- The binary expansion and the intermediate value theorem in constructive reverse mathematics (Q1712938) (← links)
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495) (← links)
- On Brouwer's continuity principle (Q1788331) (← links)
- Spectra of selfadjoint operators in constructive analysis (Q1914903) (← links)
- Relating Bishop's function spaces to neighbourhood spaces (Q1942042) (← links)
- On the independence of premiss axiom and rule (Q2204366) (← links)
- Equivalents of the finitary non-deterministic inductive definitions (Q2311215) (← links)
- Quotient topologies in constructive set theory and type theory (Q2498911) (← links)
- Quasi-apartness and neighbourhood spaces (Q2498913) (← links)
- A new constructive version of Baire's theorem (Q2505147) (← links)
- Strong continuity implies uniform sequential continuity (Q2573727) (← links)
- Locating subsets of a Hilbert space (Q2701632) (← links)
- Feasibly constructive analysis (Q2742631) (← links)
- Sequentially continuity in constructive mathematics (Q2752138) (← links)
- A note on the independence of premiss rule (Q2793909) (← links)
- Embedding classical in minimal implicational logic (Q2793912) (← links)
- Uniformly convex Banach spaces are reflexive -- constructively (Q2856637) (← links)
- Classical propositional logic and decidability of variables in intuitionistic propositional logic (Q2878747) (← links)
- A Nonlinear Ergodic Theorem for a Reversible Semigroup of Lipschitzian Mappings in a Hilbert Space (Q3034383) (← links)
- A Constructive Uniform Continuity Theorem (Q3148703) (← links)
- (Q3150930) (← links)
- Compactness under constructive scrutiny (Q3159411) (← links)
- The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) (← links)
- Drastic Effects of Damping Mechanisms on Third-Order Optical Nonlinearity (Q3371799) (← links)
- Constructive Reflexivity of a Uniformly Convex Banach Space (Q3471070) (← links)
- Relativization of Real Numbers to a Universe (Q3613305) (← links)
- Almost locatedness in uniform spaces (Q3617930) (← links)
- On the Constructive Hahn-Banach Theorem (Q3779263) (← links)
- Fixed Point Theorems for Lipspchitzian Semigroups (Q3779311) (← links)
- Constructive Compact Linear Mappings (Q3810378) (← links)
- Continuity and nondiscontinuity in constructive mathematics (Q3984410) (← links)
