Formal Topology における Bishop のコンパクト性

• 資料種別: 博士論文
• タイトル: Formal Topology における Bishop のコンパクト性
• 著者・編者: 河井, 達治
• 出版年月日等: 2015-03
• 出版年（W3CDTF）: 2015-03
• 授与機関名: 北陸先端科学技術大学院大学
• 授与年月日: 2015-03-20
• 授与年月日（W3CDTF）: 2015-03-20
• 報告番号: 甲第852号
• 学位: 博士（情報科学）
• 博論授与番号: 甲第852号
• 本文の言語コード: eng
• 件名標目: Constructive mathematics; Formal topologies; Point-free characterisations; Compact metric spaces; Locally compact metric spaces
• 一般注記: Supervisor:石原 哉; 情報科学研究科; 博士; identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/12746
• 国立国会図書館永続的識別子: info:ndljp/pid/9374859; https://dl.ndl.go.jp/pid/9374859
• コレクション（共通）: 障害者向け資料
• コレクション（障害者向け資料：レベル1）: テキストデータ
• コレクション（個別）: 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文; https://dl.ndl.go.jp/collections/A00014
• 収集根拠: 博士論文（自動収集）
• 受理日（W3CDTF）: 2015-06-02T13:06:44+09:00
• 記録形式（IMT）: application/pdf
• オンライン閲覧公開範囲: 国立国会図書館内限定公開
• デジタル化資料送信: 図書館・個人送信対象外
• 遠隔複写可否（NDL）: 可
• 掲載誌（URI）: http://hdl.handle.net/10119/12746
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp