An omniscience principle, the König Lemma and the Hahn-Banach theorem. - Hajime Ishihara (Math. Log. Q., 1990)

Constructive Compact Operators on a Hilbert Space. - Hajime Ishihara (Ann. Pure Appl. Log., 1991)

Continuity and Nondiscontinuity in Constructive Mathematics. - Hajime Ishihara (J. Symb. Log., 1991)

Continuity Properties in Constructive Mathematics. - Hajime Ishihara (J. Symb. Log., 1992)

Complements of Intersections in Constructive Mathematics. - Douglas S. Bridges; Hajime Ishihara (Math. Log. Q., 1994)

Absolute Continuity and the Uniqueness of the Constructive Functional Calculus. - Douglas S. Bridges; Hajime Ishihara (Math. Log. Q., 1994)

Sequential Continuity of Linear Mappings in Constructive Mathematics. - Hajime Ishihara (J. Univers. Comput. Sci., 1997)

Effectiveness of the Completeness Theorem for an Intermediate Logic. - Hajime Ishihara; Bakhadyr Khoussainov (J. Univers. Comput. Sci., 1997)

Decidable Kripke Models of Intuitionistic Theories. - Hajime Ishihara; Bakhadyr Khoussainov; Anil Nerode (Ann. Pure Appl. Log., 1998)

Computable Kripke Models and Intermediate Logics. - Hajime Ishihara; Bakhadyr Khoussainov; Anil Nerode (Inf. Comput., 1998)

A Definitive Constructive Open Mapping Theorem? - Douglas S. Bridges; Hajime Ishihara (Math. Log. Q., 1998)

Function algebraic characterizations of the polytime functions. - Hajime Ishihara (Comput. Complex., 1999)

A Canonical Model Construction for Substructural Logics. - Hajime Ishihara (J. Univers. Comput. Sci., 2000)

A Note on the Gödel-Gentzen Translation. - Hajime Ishihara (Math. Log. Q., 2000)

Sequentially Continuity in Constructive Mathematics. - Hajime Ishihara (DMTCS, 2001)

Coding with Minimal Programs. - Cristian Calude; Hajime Ishihara; Takeshi Yamaguchi (Int. J. Found. Comput. Sci., 2001)

Compactness and Continuity, Constructively Revisited. - Douglas S. Bridges; Hajime Ishihara; Peter Schuster 001 (CSL, 2002)

Some Results on Automatic Structures. - Hajime Ishihara; Bakhadyr Khoussainov; Sasha Rubin (LICS, 2002)

Complexity of Some Infinite Games Played on Finite Graphs. - Hajime Ishihara; Bakhadyr Khoussainov (WG, 2002)

A Constructive Look at The Completeness of The Space D(R). - Hajime Ishihara; Satoru Yoshida (J. Symb. Log., 2002)

Completeness of intersection and union type assignment systems for call-by-value lambda-models. - Hajime Ishihara; Toshihiko Kurata (Theor. Comput. Sci., 2002)

Compactness under constructive scrutiny. - Hajime Ishihara; Peter Schuster 001 (Math. Log. Q., 2004)

Constructive reverse mathematics: compactness properties. - Hajime Ishihara (From sets and types to topology and analysis, 2005)

Compactness in apartness spaces? - Douglas S. Bridges; Hajime Ishihara; Peter Schuster 001; Luminita Vîta (Spatial Representation, 2005)

Strong continuity implies uniform sequential continuity. - Douglas S. Bridges; Hajime Ishihara; Peter Schuster 001; Luminita Vîta (Arch. Math. Log., 2005)

Optical Manipulation of Nano Materials under Quantum Mechanical Resonance Conditions. - Takuya Iida; Hajime Ishihara (IEICE Trans. Electron., 2005)

On constructing completions. - Laura Crosilla; Hajime Ishihara; Peter Schuster 001 (J. Symb. Log., 2005)

Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges. - Cristian S. Calude; Hajime Ishihara (J. Univers. Comput. Sci., 2005)

Brouwer's fan theorem and unique existence in constructive analysis. - Josef Berger; Hajime Ishihara (Math. Log. Q., 2005)

Quasi-apartness and neighbourhood spaces. - Hajime Ishihara; Ray Mines; Peter Schuster 001; Luminita Vîta (Ann. Pure Appl. Log., 2006)

Quotient topologies in constructive set theory and type theory. - Hajime Ishihara; Erik Palmgren (Ann. Pure Appl. Log., 2006)

Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof. - Hajime Ishihara (Notre Dame J. Formal Log., 2006)

Binary Refinement Implies Discrete Exponentiation. - Peter Aczel; Laura Crosilla; Hajime Ishihara; Erik Palmgren; Peter Schuster 001 (Stud Logica, 2006)

Unique Existence and Computability in Constructive Reverse Mathematics. - Hajime Ishihara (CiE, 2007)

A VGA 30-fps Realtime Optical-Flow Processor Core for Moving Picture Recognition. - Yuichiro Murachi; Yuki Fukuyama; Ryo Yamamoto; Junichi Miyakoshi; Hiroshi Kawaguchi 001; Hajime Ishihara; Masayuki Miyama; Yoshio Matsuda; Masahiko Yoshimoto (IEICE Trans. Electron., 2008)

A continuity principle, a version of Baire's theorem and a boundedness principle. - Hajime Ishihara; Peter Schuster 001 (J. Symb. Log., 2008)

Computability and Complexity in Analysis. - Vasco Brattka; Hajime Ishihara; Matthias Schröder 001; Ning Zhong 002 (J. Univers. Comput. Sci., 2008)

Editorial: Math. Log. Quart. 5/2008. - Vasco Brattka; Hajime Ishihara; Matthias Schröder 001; Ning Zhong 002 (Math. Log. Q., 2008)

Separation properties in neighbourhood and quasi-apartness spaces. - Robin Havea; Hajime Ishihara; Luminita Vîta (Math. Log. Q., 2008)

Apartness, compactness and nearness. - Douglas S. Bridges; Hajime Ishihara; Peter M. Schuster; Luminita Vîta (Theor. Comput. Sci., 2008)

On the contrapositive of countable choice. - Hajime Ishihara; Peter Schuster 001 (Arch. Math. Log., 2011)

A predicative completion of a uniform space. - Josef Berger; Hajime Ishihara; Erik Palmgren; Peter Schuster 001 (Ann. Pure Appl. Log., 2012)

Two subcategories of apartness spaces. - Hajime Ishihara (Ann. Pure Appl. Log., 2012)

The uniform boundedness theorem and a boundedness principle. - Hajime Ishihara (Ann. Pure Appl. Log., 2012)

The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice. - Josef Berger; Hajime Ishihara; Peter Schuster 001 (Reports Math. Log., 2012)

Relating Bishop's function spaces to neighbourhood spaces. - Hajime Ishihara (Ann. Pure Appl. Log., 2013)

Uniformly convex Banach spaces are reflexive - constructively. - Douglas S. Bridges; Hajime Ishihara; Maarten McKubre-Jordens (Math. Log. Q., 2013)

Classical propositional logic and decidability of variables in intuitionistic propositional logic. - Hajime Ishihara (Log. Methods Comput. Sci., 2014)

Some principles weaker than Markov's principle. - Makoto Fujiwara; Hajime Ishihara; Takako Nemoto (Arch. Math. Log., 2015)

Generalized geometric theories and set-generated classes. - Peter Aczel; Hajime Ishihara; Takako Nemoto; Yasushi Sangu (Math. Struct. Comput. Sci., 2015)

Completeness and cocompleteness of the categories of basic pairs and concrete spaces. - Hajime Ishihara; Tatsuji Kawai (Math. Struct. Comput. Sci., 2015)

A note on the independence of premiss rule. - Hajime Ishihara; Takako Nemoto (Math. Log. Q., 2016)

Embedding classical in minimal implicational logic. - Hajime Ishihara; Helmut Schwichtenberg (Math. Log. Q., 2016)

Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013. - Hajime Ishihara; Margarita V. Korovina; Arno Pauly; Monika Seisenberger; Dieter Spreen (Math. Struct. Comput. Sci., 2017)

Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice. - Hajime Ishihara; Maria Emilia Maietti; Samuele Maschio; Thomas Streicher (Arch. Math. Log., 2018)

The binary expansion and the intermediate value theorem in constructive reverse mathematics. - Josef Berger; Hajime Ishihara; Takayuki Kihara; Takako Nemoto (Arch. Math. Log., 2019)

Equivalents of the finitary non-deterministic inductive definitions. - Ayana Hirata; Hajime Ishihara; Tatsuji Kawai; Takako Nemoto (Ann. Pure Appl. Log., 2019)

On the independence of premiss axiom and rule. - Hajime Ishihara; Takako Nemoto (Arch. Math. Log., 2020)

Algebraic combinatory models. - Marlou M. Gijzen; Hajime Ishihara; Tatsuji Kawai (CoRR, 2021)

Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472). - Thierry Coquand; Hajime Ishihara; Sara Negri; Peter M. Schuster (Dagstuhl Reports, 2021)

Reflexive combinatory algebras. - Marlou M. Gijzen; Hajime Ishihara; Tatsuji Kawai (J. Log. Comput., 2023)

Extended Frames and Separations of Logical Principles. - Makoto Fujiwara; Hajime Ishihara; Takako Nemoto; Nobu-Yuki Suzuki; Keita Yokoyama (Bull. Symb. Log., 2023)

From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021). - Ingo Blechschmidt; Hajime Ishihara; Peter M. Schuster; Gabriele Buriola (Dagstuhl Reports, 2024)