TOP  >  Personal Info.  >  Published Papers
ISHIHARA, Hajime Professor
School of Information Science, Intelligent Robotics Area, Research Center for Theoretical Computer Science

Published Papers

67 items
Equivalents of the finitary non-deterministic inductive definitions
Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto
Annals of Pure and Applied Logic, -, 2019
The binary expansion and the intermediate value theorem in constructive reverse mathematics
Josef Berger, Hajime Ishihara, Takayuki Kihara, Takako Nemoto
Archive for Mathematical Logic, 58, 1-2, 203-217-, 2019
On Brouwer’s continuity principle
Hajime Ishihara
Indagationes Mathematicae, 29, 6, 1511-1524, 2018
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
Archive for Mathematical Logic, 57, 7-8, 1-16, 2018
Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013
Hajime Ishihara, Margarita Korovina, Arno Pauly, Monika Seisenberger, Dieter Spreen
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 27, 8, 1285-1286, 2017
Embedding classical in minimal implicational logic
Hajime Ishihara, Helmut Schwichtenberg
MATHEMATICAL LOGIC QUARTERLY, 62, 1-2, 94-101, 2016
A note on the independence of premiss rule
Hajime Ishihara, Takako Nemoto
MATHEMATICAL LOGIC QUARTERLY, 62, 1-2, 72-76, 2016
Non-Deterministic Inductive Definitions and Fullness
Hajime Ishihara, Takako Nemoto
CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 6, 163-170, 2016
Completeness and cocompleteness of the categories of basic pairs and concrete spaces
Hajime Ishihara, Tatsuji Kawai
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 25, 8, 1626-1648, 2015
Some principles weaker than Markov's principle
Makoto Fujiwara, Hajime Ishihara, Takako Nemoto
ARCHIVE FOR MATHEMATICAL LOGIC, 54, 7-8, 861-870, 2015
Generalized geometric theories and set-generated classes
Peter Aczel, Hajime Ishihara, Takako Nemoto, Yasushi Sangu
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 25, 7, 1466-1483, 2015
CLASSICAL PROPOSITIONAL LOGIC AND DECIDABILITY OF VARIABLES IN INTUITIONISTIC PROPOSITIONAL LOGIC
Hajime Ishihara
LOGICAL METHODS IN COMPUTER SCIENCE, 10, 3, -, 2014
Uniformly convex Banach spaces are reflexive-constructively
Douglas S. Bridges, Hajime Ishihara, Maarten McKubre-Jordens
MATHEMATICAL LOGIC QUARTERLY, 59, 4-5, 352-356, 2013
Relating Bishop's function spaces to neighbourhood spaces
Hajime Ishihara
ANNALS OF PURE AND APPLIED LOGIC, 164, 4, 482-490, 2013
The uniform boundedness theorem and a boundedness principle
Hajime Ishihara
ANNALS OF PURE AND APPLIED LOGIC, 163, 8, 1057-1061, 2012
A predicative completion of a uniform space
Josef Berger, Hajime Ishihara, Erik Palmgren, Peter Schuster
ANNALS OF PURE AND APPLIED LOGIC, 163, 8, 975-980, 2012
Two subcategories of apartness spaces
Hajime Ishihara
ANNALS OF PURE AND APPLIED LOGIC, 163, 2, 132-139, 2012
THE WEAK KONIG LEMMA, BROUWER'S FAN THEOREM, DE MORGAN'S LAW, AND DEPENDENT CHOICE
Josef Berger, Hajime Ishihara, Peter Schuster
REPORTS ON MATHEMATICAL LOGIC, 47, 63-86, 2012
On the contrapositive of countable choice
Hajime Ishihara, Peter Schuster
ARCHIVE FOR MATHEMATICAL LOGIC, 50, 1-2, 137-143, 2011
Kronecker's density theorem and irrational numbers in constructive reverse mathematics
Hajime Ishihara, Peter Schuster
Mathematische Semesterberichte, 57, 1, 57-72, 2010
A CONTINUITY PRINCIPLE, A VERSION OF BAIRE'S THEOREM AND A BOUNDEDNESS PRINCIPLE
Hajime Ishihara, Peter Schuster
JOURNAL OF SYMBOLIC LOGIC, 73, 4, 1354-1360, 2008
Apartness, compactness and nearness
Douglas Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vita
THEORETICAL COMPUTER SCIENCE, 405, 1-2, 3-10, 2008
Editorial: Math. Log. Quart. 5/2008.
Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong
Math. Log. Q., 54, 5, 453-, 2008
Separation properties in neighbourhood and quasi-apartness spaces
Robin Havea, Hajime Ishihara, Luminita Vita
MATHEMATICAL LOGIC QUARTERLY, 54, 1, 58-64, 2008
Computability and Complexity in Analysis.
Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong
J. UCS, 14, 6, 800-, 2008
Almost locatedness in uniform spaces
Douglas Bridges, Hajime Ishihara, Ray Mines, Fred Richman, Peter Schuster, Luminita Vita
CZECHOSLOVAK MATHEMATICAL JOURNAL, 57, 1, 1-12, 2007
Unique existence and computability in constructive reverse mathematics
Hajime Ishihara
COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS, 4497, 368-377, 2007
Binary refinement implies discrete exponentiation
Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster
Studia Logica, 84, 3, 361-368, 2006
Quasi-apartness and neighbourhood spaces
H Ishihara, R Mines, P Schuster, L Vita
ANNALS OF PURE AND APPLIED LOGIC, 141, 1-2, 296-306, 2006
Quotient topologies in constructive set theory and type theory
H Ishihara, E Palmgren
ANNALS OF PURE AND APPLIED LOGIC, 141, 1-2, 257-265, 2006
Weak König's lemma implies Brouwer's fan theorem: A direct proof
Hajime Ishihara
Notre Dame Journal of Formal Logic, 47, 2, 249-252, 2006
Strong continuity implies uniform sequential continuity
Douglas Bridges, Hajime Ishihara, Peter Schuster, Luminiţa Vîţa
Archive for Mathematical Logic, 44, 7, 887-895, 2005
Strong continuity implies uniform sequential continuity
D Bridges, H Ishihara, P Schuster, L Vita
ARCHIVE FOR MATHEMATICAL LOGIC, 44, 7, 887-895, 2005
On constructing completions
L Crosilla, H Ishihara, P Schuster
JOURNAL OF SYMBOLIC LOGIC, 70, 3, 969-978, 2005
Compactness in apartness spaces?
Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
Spatial Representation: Discrete vs. Continuous Computational Models, -, 2005
Brouwer's fan theorem and unique existence in constructive analysis
J Berger, H Ishihara
MATHEMATICAL LOGIC QUARTERLY, 51, 4, 360-364, 2005
Computing infima on convex sets, with applications in Hilbert spaces
D Bridges, H Ishihara, L Vita
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 132, 9, 2723-2732, 2004
Compactness under constructive scrutiny
H Ishihara, P Schuster
MATHEMATICAL LOGIC QUARTERLY, 50, 6, 540-550, 2004
Locating subsets of a normed space
H Ishihara, L Vita
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 131, 10, 3231-3239, 2003
A constructive look at the completeness of the space D(R)
H Ishihara, S Yoshida
JOURNAL OF SYMBOLIC LOGIC, 67, 4, 1511-1519, 2002
A constructive uniform continuity theorem
H Ishihara, P Schuster
QUARTERLY JOURNAL OF MATHEMATICS, 53, 185-193, 2002
Completeness of intersection and union type assignment systems for call-by-value lambda-models
H Ishihara, T Kurata
THEORETICAL COMPUTER SCIENCE, 272, 1-2, 197-221, 2002
Complexity of some infinite games played on finite graphs
H Ishihara, B Khoussainov
GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2573, 270-281, 2002
Some results on automatic structures
H Ishihara, B Khoussainov, S Rubin
17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 235-242, 2002
Compactness and continuity, constructively revisited
D Bridges, H Ishihara, P Schuster
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2471, 89-102, 2002
Constructive unbounded operators
D Bridges, H Ishihara
REUNITING THE ANTIPODES - CONSTRUCTIVE AND NONSTANDARD VIEWS OF THE CONTINUUM, 306, 25-37, 2001
Various continuity properties in constructive analysis
H Ishihara, R Mines
REUNITING THE ANTIPODES - CONSTRUCTIVE AND NONSTANDARD VIEWS OF THE CONTINUUM, 306, 103-110, 2001
Coding with minimal programs
Cristian S. Calude, Hajime Ishihara, Takeshi Yamaguchi
International Journal of Foundations of Computer Science, 12, 4, 479-489, 2001
Constructive closed range and open mapping theorems
D Bridges, H Ishihara
INDAGATIONES MATHEMATICAE-NEW SERIES, 11, 4, 509-516, 2000
A note on the Godel-Gentzen translation
H Ishihara
MATHEMATICAL LOGIC QUARTERLY, 46, 1, 135-137, 2000
A Canonical Model Construction for Substructural Logics.
Hajime Ishihara
J. UCS, 6, 1, 155-168, 2000
Function algebraic characterizations of the polytime functions
H Ishihara
COMPUTATIONAL COMPLEXITY, 8, 4, 346-356, 1999
Computable Kripke models and intermediate logics
H Ishihara, B Khoussainov, A Nerode
INFORMATION AND COMPUTATION, 143, 2, 205-230, 1998
Decidable Kripke models of intuitionistic theories
H Ishihara, B Khoussainov, A Nerode
ANNALS OF PURE AND APPLIED LOGIC, 93, 1-3, 115-123, 1998
A definitive constructive open mapping theorem?
D Bridges, H Ishihara
MATHEMATICAL LOGIC QUARTERLY, 44, 4, 545-552, 1998
Effectiveness of the Completeness Theorem for an Intermediate Logic.
Hajime Ishihara, Bakhadyr Khoussainov
J. UCS, 3, 11, 1255-1265, 1997
Sequential Continuity of Linear Mappings in Constructive Mathematics.
Hajime Ishihara
J. UCS, 3, 11, 1250-1254, 1997
Spectra of selfadjoint operators in constructive analysis
D Bridges, H Ishihara
INDAGATIONES MATHEMATICAE-NEW SERIES, 7, 1, 11-35, 1996
ABSOLUTE CONTINUITY AND THE UNIQUENESS OF THE CONSTRUCTIVE FUNCTIONAL-CALCULUS
D BRIDGES, H ISHIHARA
MATHEMATICAL LOGIC QUARTERLY, 40, 4, 519-527, 1994
COMPLEMENTS OF INTERSECTIONS IN CONSTRUCTIVE MATHEMATICS
DS BRIDGES, H ISHIHARA
MATHEMATICAL LOGIC QUARTERLY, 40, 1, 35-43, 1994
LOCATING THE RANGE OF AN OPERATOR ON A HILBERT-SPACE
D BRIDGES, H ISHIHARA
BULLETIN OF THE LONDON MATHEMATICAL SOCIETY, 24, 599-605, 1992
CONTINUITY PROPERTIES IN CONSTRUCTIVE MATHEMATICS
H ISHIHARA
JOURNAL OF SYMBOLIC LOGIC, 57, 2, 557-565, 1992
CONTINUITY AND NONDISCONTINUITY IN CONSTRUCTIVE MATHEMATICS
H ISHIHARA
JOURNAL OF SYMBOLIC LOGIC, 56, 4, 1349-1354, 1991
CONSTRUCTIVE COMPACT-OPERATORS ON A HILBERT-SPACE
H ISHIHARA
ANNALS OF PURE AND APPLIED LOGIC, 52, 1-2, 31-37, 1991
LINEAR MAPPINGS ARE FAIRLY WELL-BEHAVED
D BRIDGES, H ISHIHARA
ARCHIV DER MATHEMATIK, 54, 6, 558-562, 1990
AN OMNISCIENCE PRINCIPLE, THE KONIG-LEMMA AND THE HAHN-BANACH THEOREM
H ISHIHARA
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 36, 3, 237-240, 1990