28 found
Sort by:
  1. Douglas S. Bridges, Hajime Ishihara & Maarten McKubre‐Jordens (2013). Uniformly Convex Banach Spaces Are Reflexive—Constructively. Mathematical Logic Quarterly 59 (4-5):352-356.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Hajime Ishihara (2013). Relating Bishopʼs Function Spaces to Neighbourhood Spaces. Annals of Pure and Applied Logic 164 (4):482-490.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Josef Berger, Hajime Ishihara, Erik Palmgren & Peter Schuster (2012). A Predicative Completion of a Uniform Space. Annals of Pure and Applied Logic 163 (8):975-980.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Hajime Ishihara (2012). Two Subcategories of Apartness Spaces. Annals of Pure and Applied Logic 163 (2):132-139.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Hajime Ishihara (2012). The Uniform Boundedness Theorem and a Boundedness Principle. Annals of Pure and Applied Logic 163 (8):1057-1061.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Hajime Ishihara & Peter Schuster (2011). On the Contrapositive of Countable Choice. Archive for Mathematical Logic 50 (1-2):137-143.
    We show that in elementary analysis (EL) the contrapositive of countable choice is equivalent to double negation elimination for ${\Sigma_{2}^{0}}$ -formulas. By also proving a recursive adaptation of this equivalence in Heyting arithmetic (HA), we give an instance of the conservativity of EL over HA with respect to recursive functions and predicates. As a complement, we prove in HA enriched with the (extended) Church thesis that every decidable predicate is recursive.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Vasco Brattka, Hajime Ishihara, Matthias Schröder & Ning Zhong (2008). Editorial: Math. Log. Quart. 5/2008. Mathematical Logic Quarterly 54 (5):453-453.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Robin Havea, Hajime Ishihara & Luminita Vîta (2008). Separation Properties in Neighbourhood and Quasi-Apartness Spaces. Mathematical Logic Quarterly 54 (1):58-64.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Hajime Ishihara & Peter Schuster (2008). A Continuity Principle, a Version of Baire's Theorem and a Boundedness Principle. Journal of Symbolic Logic 73 (4):1354-1360.
    We deal with a restricted form WC-N' of the weak continuity principle, a version BT' of Baire's theorem, and a boundedness principle BD-N. We show, in the spirit of constructive reverse mathematics, that WC-N'. BT' + ¬LPO and BD-N + ¬LPO are equivalent in a constructive system, where LPO is the limited principle of omniscience.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren & Peter Schuster (2006). Binary Refinement Implies Discrete Exponentiation. Studia Logica 84 (3):361 - 368.
    Working in the weakening of constructive Zermelo-Fraenkel set theory in which the subset collection scheme is omitted, we show that the binary re.nement principle implies all the instances of the exponentiation axiom in which the basis is a discrete set. In particular binary re.nement implies that the class of detachable subsets of a set form a set. Binary re.nement was originally extracted from the fullness axiom, an equivalent of subset collection, as a principle that was su.cient to prove that the (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Hajime Ishihara (2006). Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof. Notre Dame Journal of Formal Logic 47 (2):249-252.
    Classically, weak König's lemma and Brouwer's fan theorem for detachable bars are equivalent. We give a direct constructive proof that the former implies the latter.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Hajime Ishihara (2006). Reverse Mathematics in Bishop's Constructive Mathematics. Philosophia Scientiae:43-59.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Hajime Ishihara, Ray Mines, Peter Schuster & Luminiţa Vîţă (2006). Quasi-Apartness and Neighbourhood Spaces. Annals of Pure and Applied Logic 141 (1):296-306.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Hajime Ishihara & Erik Palmgren (2006). Quotient Topologies in Constructive Set Theory and Type Theory. Annals of Pure and Applied Logic 141 (1):257-265.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Josef Berger & Hajime Ishihara (2005). Brouwer's Fan Theorem and Unique Existence in Constructive Analysis. Mathematical Logic Quarterly 51 (4):360-364.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  16. Douglas Bridges, Hajime Ishihara, Peter Schuster & Luminiţa Vîţa (2005). Strong Continuity Implies Uniform Sequential Continuity. Archive for Mathematical Logic 44 (7):887-895.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  17. Laura Crosilla, Hajime Ishihara & Peter Schuster (2005). On Constructing Completions. Journal of Symbolic Logic 70 (3):969-978.
    The Dedekind cuts in an ordered set form a set in the sense of constructive Zermelo—Fraenkel set theory. We deduce this statement from the principle of refinement, which we distill before from the axiom of fullness. Together with exponentiation, refinement is equivalent to fullness. None of the defining properties of an ordering is needed, and only refinement for two—element coverings is used. In particular, the Dedekind reals form a set; whence we have also refined an earlier result by Aczel and (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. Hajime Ishihara & Peter Schuster (2004). Compactness Under Constructive Scrutiny. Mathematical Logic Quarterly 50 (6):540-550.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  19. Hajime Ishihara & Satoru Yoshida (2002). A Constructive Look at the Completeness of the Space (ℝ). Journal of Symbolic Logic 67 (4):1511-1519.
    We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space $\mathcal{D} (\mathbb{R})$ of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Hajime Ishihara & Satoru Yoshida (2002). A Constructive Look at the Completeness of the Space $\Mathcal{D} (\Mathbb{R})$. Journal of Symbolic Logic 67 (4):1511-1519.
    We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space $\mathcal{D} (\mathbb{R})$ of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21. Douglas Bridges & Hajime Ishihara (1998). A Definitive Constructive Open Mapping Theorem? Mathematical Logic Quarterly 44 (4):545-552.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  22. Hajime Ishihara, Bakhadyr Khoussainov & Anil Nerode (1998). Decidable Kripke Models of Intuitionistic Theories. Annals of Pure and Applied Logic 93 (1-3):115-123.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Douglas S. Bridges & Hajime Ishihara (1994). Complements of Intersections in Constructive Mathematics. Mathematical Logic Quarterly 40 (1):35-43.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  24. Douglas Bridges & Hajime Ishihara (1994). Absolute Continuity and the Uniqueness of the Constructive Functional Calculus. Mathematical Logic Quarterly 40 (4):519-527.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. Hajime Ishihara (1992). Continuity Properties in Constructive Mathematics. Journal of Symbolic Logic 57 (2):557-565.
    The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We deal with principles which are equivalent to the statements "every mapping is sequentially nondiscontinuous", "every sequentially nondiscontinuous mapping is sequentially continuous", and "every sequentially continuous mapping is continuous". As corollaries, we show that every mapping of a complete separable space is continuous in constructive recursive mathematics (the Kreisel-Lacombe-Schoenfield-Tsejtin theorem) and in intuitionism.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  26. Hajime Ishihara (1991). Continuity and Nondiscontinuity in Constructive Mathematics. Journal of Symbolic Logic 56 (4):1349-1354.
    The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We show that every mapping is sequentially continuous if and only if it is sequentially nondiscontinuous and strongly extensional, and that "every mapping is strongly extensional", "every sequentially nondiscontinuous mapping is sequentially continuous", and a weak version of Markov's principle are equivalent. Also, assuming a consequence of Church's thesis, we prove a version of the Kreisel-Lacombe-Shoenfield-Tsĕitin theorem.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. Hajime Ishihara (1991). Constructive Compact Operators on a Hilbert Space. Annals of Pure and Applied Logic 52 (1-2):31-37.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. Hajime Ishihara (1990). An Omniscience Principle, the König Lemma and the Hahn‐Banach Theorem. Mathematical Logic Quarterly 36 (3):237-240.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation