|
|
JAIST Repository >
著者: "ISHIHARA, HAJIME"
12 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| Dec-2002 | A constructive look at the completeness of the space DR | Ishihara, Hajime; Yoshida, Satoru |
| Sep-2005 | On constructing completions | Crosilla, Laura; Ishihara, Hajime; Schuster, Peter |
| 2007 | Unique Existence and Computability in Constructive Reverse Mathematics | Ishihara, Hajime |
| Dec-2008 | A continuity principle, a version of Baire's theorem and a boundedness principle | Ishihara, Hajime; Schuster, Peter |
| 29-May-2010 | 構成的数学における逆数学の研究 | 石原, 哉; ISHIHARA, HAJIME |
| 18-Sep-2010 | On the contrapositive of countable choice | Ishihara, Hajime; Schuster, Peter |
| 20-Jul-2011 | Two subcategories of apartness spaces | Ishihara, Hajime |
| 31-Dec-2011 | A predicative completion of a uniform space | Berger, Josef; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter |
| 31-Dec-2011 | The uniform boundedness theorem and a boundedness principle | Ishihara, Hajime |
| 6-Nov-2012 | Relating Bishop's function spaces to neighbourhood spaces | Ishihara, Hajime |
| 2-Jun-2014 | 構成的集合論における逆数学の研究 | 石原, 哉; Ishihara, Hajime |
| 31-May-2019 | 層モデルを用いた構成的逆数学の研究 | 石原, 哉; Ishihara, Hajime |
|
