Hajime Ishihara Professor
School of Information Science（Department of Information Science・Theoretical Information Science）

Results 1-20 of about 49

• 1.　Completeness and cocompleteness of the categories of basic pairs and concrete spaces，Hajime Ishihara and Tatsuji Kawai，Math. Structures Comput. Sci.，to appear
• 2.　Generalized geometric theories and set-generated classes，Peter Aczel, Hajime Ishihara, Takako Nemoto and Yasushi Sangu，Math. Structures Comput. Sci.，to appear
• 3.　Relating Bishop's function spaces to neighbourhood spaces，Hajime Ishihara，Ann. Pure Appl. Logic，164，482-490，2013
• 4.　Two subcategories of apartness spaces，Hajime Ishihara，Ann. Pure Appl. Logic，163，132-139，2012
• 5.　The weak Koenig lemma, Brouwer's fan theorem, de Morgan law, and dependent choice，Josef Berger, Hajime Ishihara and Peter Schuster，Rep. Math. Logic，47，63-86，2012
• 6.　Some conservative extension results on classical and intuitionistic sequent calculi，Hajime Ishihara，In: U. Berger, H. Diener, P. Schuster and M. Seisenberger eds., Logic, Construction, Computation, Ontos Verlag, Frankfurt, 2012，289-304
• 7.　The uniform boundedness theorem and a boundedness principle，Hajime Ishihara，Ann. Pure Appl. Logic，163，1057-1061，2012
• 8.　On the contrapositive of countable choice，Hajime Ishihara and Peter Schuster，Arch. Math. Logic，50，137-143，2011
• 9.　A predicative completion of a uniform space，Josef Berger, Hajime Ishihara, Erik Palmgren and Peter Schuster，Ann. Pure Appl. Logic，163，975-980，2012
• 10.　Kronecker's density theorem and irrational numbers in constructive reverse mathematics，Hajime Ishihara and Peter Schuster，Math. Semesterber.，57，57-72，2010
• 11.　Apartness, compactness and nearness，Douglas Bridges, Hajime Ishihara, Peter Schuster and Luminita Vita，Theoret. Comput. Sci.，405，3-10，2008
• 12.　Separation properties in neighbourhood and quasi-apartness spaces，Robin Havea, Hajime Ishihara and Luminita Vita，MLQ Math. Log. Q.，54，58-64，2008
• 13.　Relativizing real numbers to a universe，Hajime Ishihara，In: S. Lindstroem, E. Palmgren, K. Segerberg and V. Stoltenberg-Hansen eds., Logicism, Intuitionism, and Formalism - What has become of them?, Synthese Library，341，189-207，2008
• 14.　A continuity principle, a version of Baire's theorem and a boundedness principle，Hajime Ishihara and Peter Schuster，J. Symbolic Logic，73，1354-1360，2008
• 15.　Unique existence and computability in constructive reverse mathematics，Hajime Ishihara，Lect. Notes Comput. Sci.，4497，368-377，2007
• 16.　Almost locatedness in uniform spaces，Douglas Bridges, Hajime Ishihara, Ray Mines, Fred Richman, Peter Schuster and Luminita Vita，Czechoslovak Math. J.，vol. 57，1-12，2007
• 17.　Weak Koenig lemma implies Brouwer's fan theorem: a direct proof，Hajime Ishihara，Notre Dame J. Formal Logic，vol. 47，pp. 249-252，2006
• 18.　Quasi-apartness and neighbourhood spaces，Hajime Ishihara, Ray Mines, Peter Schuster and Luminita Vita，Ann. Pure Appl. Logic，vol. 141，pp. 296-306，2006
• 19.　A new constructive version of Baire's theorem，Douglas Bridges, Hajime Ishihara and Luminita Vita，Hokkaido Math. J.，vol. 35，pp. 107-118，2006
• 20.　Quotient topologies in constructive set theory and type theory，Hajime Ishihara and Erik Palmgren，Ann. Pure Appl. Logic，vol. 141，pp. 257-265，2006

1  2  3

[ Next ≫ ]