DSpace コレクション: 2017-10 2017-10 http://hdl.handle.net/2433/2367262024-03-28T09:54:35Z2024-03-28T09:54:35Z限量子記号消去アルゴリズムとその計算の現状について (数学基礎論とその応用)佐藤, 洋祐http://hdl.handle.net/2433/2370772019-03-07T09:04:36Z2017-10-01T00:00:00Zタイトル: 限量子記号消去アルゴリズムとその計算の現状について (数学基礎論とその応用)
著者: 佐藤, 洋祐2017-10-01T00:00:00ZCoding Polish spaces (Mathematical Logic and Its Applications)Mejía, Diego Alejandrohttp://hdl.handle.net/2433/2370762019-03-07T09:04:35Z2017-10-01T00:00:00Zタイトル: Coding Polish spaces (Mathematical Logic and Its Applications)
著者: Mejía, Diego Alejandro
抄録: We use countable metric spaces to code Polish metric spaces and evaluate the complexity of some statements about these codes and of some relations that can be determined by the codes. Also, we propose a coding for continuous functions between Polish metric spaces.2017-10-01T00:00:00ZCoherence Spaces and Geometry of Interaction (Mathematical Logic and Its Applications)Hoshino, Naohikohttp://hdl.handle.net/2433/2370752019-03-07T09:04:36Z2017-10-01T00:00:00Zタイトル: Coherence Spaces and Geometry of Interaction (Mathematical Logic and Its Applications)
著者: Hoshino, Naohiko2017-10-01T00:00:00ZGenericな集合のチューリング次数について (数学基礎論とその応用)隈部, 正博http://hdl.handle.net/2433/2370782019-03-07T09:04:37Z2017-10-01T00:00:00Zタイトル: Genericな集合のチューリング次数について (数学基礎論とその応用)
著者: 隈部, 正博2017-10-01T00:00:00Z