TOP Page >  Search Result  >  Profile > Display All

Published Papers
Results per page:
Chronological sort:



Hajime Ishihara Professor
School of Information Science、Intelligent Robotics Area

Results 21-40 of about 59

  • 21. 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
  • 22. Separation properties in neighbourhood and quasi-apartness spaces,Robin Havea, Hajime Ishihara and Luminita Vita,MLQ Math. Log. Q.,54,58-64,2008
  • 23. 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
  • 24. Apartness, compactness and nearness,Douglas Bridges, Hajime Ishihara, Peter Schuster and Luminita Vita,Theoret. Comput. Sci.,405,3-10,2008
  • 25. 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
  • 26. Unique existence and computability in constructive reverse mathematics,Hajime Ishihara,Lect. Notes Comput. Sci.,4497,368-377,2007
  • 27. Reverse mathematics in Bishop's constructive mathematics,Hajime Ishihara,Philosophia Scientiae, Cahier special,vol. 6,pp. 43-59,2006
  • 28. Weak Koenig lemma implies Brouwer's fan theorem: a direct proof,Hajime Ishihara,Notre Dame J. Formal Logic,vol. 47,pp. 249-252,2006
  • 29. Quasi-apartness and neighbourhood spaces,Hajime Ishihara, Ray Mines, Peter Schuster and Luminita Vita,Ann. Pure Appl. Logic,vol. 141,pp. 296-306,2006
  • 30. A new constructive version of Baire's theorem,Douglas Bridges, Hajime Ishihara and Luminita Vita,Hokkaido Math. J.,vol. 35,pp. 107-118,2006
  • 31. Quotient topologies in constructive set theory and type theory,Hajime Ishihara and Erik Palmgren,Ann. Pure Appl. Logic,vol. 141,pp. 257-265,2006
  • 32. Binary refinement implies discrete exponentiation,Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren and Peter Schuster,Studia Logica,vol. 84,pp. 367-374,2006
  • 33. A constructive Banach's inverse mapping theorem in F-spaces,Hajime Ishihara and Luminita Vita,New Zealand J. Math.,vol. 35,pp. 183-188,2006
  • 34. Strong continuity implies uniform sequential continuity,Douglas Bridges, Hajime Ishihara, Peter Schuster and Luminita Vita,Arch. Math. Logic,vol. 44,pp. 887-895,2005
  • 35. Brouwer's fan theorem and unique existence in constructive analysis,Josef Berger and Hajime Ishihara,MLQ Math. Log. Q.,vol. 51,pp. 360-364,2005
  • 36. On constructing completions,Laura Crosilla, Hajime Ishihara and Peter Schuster,J. Symbolic Logic,vol. 70,pp. 969-978,2005
  • 37. Products in the category of apartness spaces,Douglas Bridges, Hajime Ishihara, Peter Schuster and Luminita Vita,Cah. Topol. Geom. Diffe. Gateg.,vol. 46,pp. 139-153,2005
  • 38. Constructive reverse mathematics: compactness properties,Hajime Ishihara,In: L. Crosilla and P. Schuster eds., From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, Oxford University Press, Oxford,pp. 245-267,2005
  • 39. Computing infima on convex sets with applications in Hilbert space,Douglas Bridges, Hajime Ishihara and Luminita Vita,Proc. Amer. Math. Soc.,vol. 132,pp. 2723-2732,2004
  • 40. Compactness under constructive scrutiny,Hajime Ishihara and Peter Schuster,MLQ Math. Log. Q.,vol. 50,pp. 540-550,2004

≪ Back ]  1  2  3 Next ≫ ]