USUBA Toshimichi 薄葉季路

… Alternative Names

薄葉季路ウスバトシミチ

Less

Researcher Number	10513632
Affiliation (Current)	2025: 早稲田大学, 理工学術院, 教授
Affiliation (based on the past Project Information) *help	2021 – 2022: 早稲田大学, 理工学術院, 教授 2016 – 2020: 早稲田大学, 理工学術院, 准教授 2016: 早稲田大学, 基幹理工学部, 准教授 2015: 神戸大学, 学内共同利用施設等, 助教 2015: 神戸大学, 自然科学系先端融合研究環重点研究部, 助教 … More 2015: 神戸大学, 自然科学系先端融合研究環, 助教 2013: 神戸大学, 自然科学系, 助教 2010 – 2012: 名古屋大学, 高等研究院, 特任助教 2008: 東北大学, 大学院・理学研究科, 研究員 Less
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related / Foundations of mathematics/Applied mathematics Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / Foundations of mathematics/Applied mathematics / Basic Section 12030:Basic mathematics-related
Keywords	Principal Investigator 強制法 / リンデレフ空間 / 集合論的地質学 / 反映原理 / 巨大基数 / symmetric extension / 強コンパクト基数 / tightness number / 集合論多元宇宙 / list chromatic number … More / ジェネリック巨大基数 / 集合論的位相空間論 / 集合論的多元宇宙 / 巨大基数公理 / Pκλ / パラコンパクト空間 / 無限組み合わせ論 / 集合論的多元宇宙論 … More Except Principal Investigator 強制法 / Pκλ / Q-point / イデアル / 基数不変量 / 反映原理 / 公理的集合論 / 数学基礎論 / 選択公理 / 巨大基数 / 強コンパクト基数 / 正規イデアル / 飽和イデアル / 非定常イデアル / Ｐκλ / 非有界集合 / selective イデアル / selective ideal / P-point / stationary set / バナッハ・マズア型ゲーム / 強制公理 / 集合論的位相空間論 / 弱い分割の性質 / non-stationary イデアル / Pκλ上のイデアル / Cohen実数 / Prikry強制法 / weak P-point / 集合論的地質学 / 無限帽子パズル / local P-point / non-stationary ideal / 飽和度 / extendible 基数 / 位相 / 分離基数 / sup-function / 構造的性質 / 定常集合 / sup-関数 / 国際情報交換 / 国際情報交換（アメリカ） / 和集合公理 / コンパクト化 / 無限組合せ論 / 数理論理学 / 巨大基数公理 / 位相空間論 / 集合論 / リスト彩色数 / レヴィ崩壊 / ω1-強コンパクト基数 / 彩色数 / 無限ゲーム / イデアルの同型 / Ulam イデアル / rigidity / Ｒｕｄｉｎ－Ｋｅｉｓｌｅｒ順序 / 強正規イデアル / 有界イデアル / Katetov 順序 / subnormality / coherence / Rigidity / Ulam ideal / the non-stationary ideal / the bounded ideal / ideal / 強到達不能基数 / 双対フィルター / 上限関数 / 有界集合 / 濃度 / 到達不能基数 / Bounded イデアル / 弱正規イデアル / Rudin-Keisler ordering / unbounded set / Openly generatedなブール代数 / Coloring Number / openly generatedなブール代数 / coloring Number / 距離付け可能性 / ブール代数 / 無限グラフ / 位相空間 / coloring number / list-chromatic number / chromatic number / Rado's conjecture / Fodor-type Reflection Principle / indescribability / regular space / projection / P_κλ / Lindelof space / normal space / orthocompact / compact space / unbranched proerty / P(λ) / stationary / reflection / cofinality / コンパクト基数 / 分割の性質 / ineffability Less

Set theoretic multiverse and large cardinal axiomsPrincipal Investigator
- Principal Investigator
  
  Usuba Toshimichi
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Waseda University
Structural properties of ideals over P_{kappa}lambda and infinitary combinatorics
- Principal Investigator
  
  Abe Yoshihiro
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Kanagawa University
Structural properties of ideals over Pk\lambda
- Principal Investigator
  
  Abe Yoshihiro
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Kanagawa University
On combinatiral problems using P_kappa lambda structuresPrincipal Investigator
- Principal Investigator
  
  Usuba Toshimichi
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Waseda University
  Kobe University
Research toward a solution of Galvin's conjecture
- Principal Investigator
  
  Fuchino Sakae
- Project Period (FY)
  2014 – 2015
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Kobe University
Deepening of the research in set-theoretic topology with forcing and large cardinal properties
- Principal Investigator
  
  Kada Masaru
- Project Period (FY)
  2013 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Osaka Prefecture University
Invariant structures on medium-size infinite cardinals
- Principal Investigator
  
  YOSHINOBU YASUO
- Project Period (FY)
  2012 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Nagoya University
Ideals on P\kappa\lambda which does not depend on large cardinals
- Principal Investigator
  
  ABE Yoshihiro
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kanagawa University
Reflection principles on stationarity and possible extensions of the axiom system of set thoery
- Principal Investigator
  
  FUCHINO Sakae
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kobe University
Combinatorics on medium-sized infinite cardinals
- Principal Investigator
  
  YASUO Yoshinobu (YOSHINOBU Yasuo)
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Nagoya University
Infinite combinatorial principles and compact cardinals
- Principal Investigator
  
  ABE Yoshihiro
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kanagawa University

[Book] 数学における証明と真理―様相論理と数学基礎論―2016
- Author(s)
  (菊池誠編)佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠
- Total Pages
  304
- Publisher
  共立出版
- Data Source
  KAKENHI-PROJECT-15K04984
[Book] 数学における証明と真理2016
- Author(s)
  佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠
- Total Pages
  304
- Publisher
  共立出版
- Data Source
  KAKENHI-PROJECT-26610040
[Book] 数学における証明と真理―様相論理と数学基礎論―2016
- Author(s)
  佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠
- Total Pages
  304
- Publisher
  共立出版
- Data Source
  KAKENHI-PROJECT-15K17587
[Journal Article] The coloring number and the list-chromatic number of uncountable graphs2023
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Israel Journal of Mathematics
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03404
[Journal Article] Lowenheim-Skolem-Tarski の性質2022
- Author(s)
  薄葉季路
- Journal Title
  
  数理解析研究所考究録
  
  Volume: 2233 Pages: 82-104
- Data Source
  KAKENHI-PROJECT-18K03404
[Journal Article] The coloring number and the list-chromatic number of uncountable graphs2022
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Israel Journal of Mathematics
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03403
[Journal Article] 無限積空間とΣ-積空間における基数関数extentの等式について2022
- Author(s)
  平田康史、薄葉季路、矢島幸信
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2209 Pages: 64-74
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03404
[Journal Article] C*-embedding and P-embedding in subspaces of products of ordinals2022
- Author(s)
  Nobuyuki Kemoto、Toshimichi Usuba
- Journal Title
  
  Topology and its Applications
  
  Volume: 318 Pages: 108194-108194
- DOI
  10.1016/j.topol.2022.108194
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03404
[Journal Article] 無限積空間と${Sigma}$-積空間における基数関数extentの等式について2022
- Author(s)
  平田康史薄葉季路矢島幸信
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2209 Pages: 64-74
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03403
[Journal Article] Equalities for the extent of infinite products and Σ-products2022
- Author(s)
  Yasushi Hirata,Toshimichi Usuba, Yukinobu Yajima
- Journal Title
  
  Topology and its Applications
  
  Volume: 307
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03404
[Journal Article] Equalities for the extent of infinite products and Σ-products2022
- Author(s)
  Hirata Yasushi、Usuba Toshimichi、Yajima Yukinobu
- Journal Title
  
  Topology and its Applications
  
  Volume: 307 Pages: 107946-107946
- DOI
  10.1016/j.topol.2021.107946
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K03606, KAKENHI-PROJECT-18K03403
[Journal Article] Geology of symmetric grounds2021
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Proceedings of Asian Logic Conference 2019
  
  Volume: to appear
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03404
[Journal Article] Geology of symmetric grounds2021
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Proceedings of the 16th Asian Logic Conference
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03403
[Journal Article] On Countable Stationary Towers2020
- Author(s)
  Yo Matsubara, Toshimichi Usuba
- Journal Title
  
  Proceedings of Symposium on Advances in Mathematical Logic 2018
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03403
[Journal Article] A note on Lowenheim-Skolem cardinals2020
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2164 Pages: 149-160
- NAID
  120006956550
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03404
[Journal Article] A note on δ-strongly compact cardinals2020
- Author(s)
  Usuba Toshimichi
- Journal Title
  
  Topology and its Applications
  
  Volume: - Pages: 107538-107538
- DOI
  10.1016/j.topol.2020.107538
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K03403, KAKENHI-PROJECT-18K03404
[Journal Article] On Countable Stationary Towers.2020
- Author(s)
  Yo Matsubara, Toshimichi Usuba,
- Journal Title
  
  Proceedings of Symposium on Advances in Mathematical Logic 2018.
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03404
[Journal Article] A note on Lowenheim-Skolem cardinals2020
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: -
- NAID
  120006956550
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03403
[Journal Article] Choiceless L\"owenheim-Skolem property and uniform definability of grounds.2020
- Author(s)
  Toshimichi Usuba,
- Journal Title
  
  Proceedings of Symposium on Advances in Mathematical Logic 2018.
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03404
[Journal Article] Choiceless Lowenheim-Skolem property and uniform definability of grounds2020
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Proceedings of Symposium on Advances in Mathematical Logic 2018
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03403
[Journal Article] Products of Lindeloef spaces with points $G_delta$2019
- Author(s)
  Usuba Toshimichi
- Journal Title
  
  Topology and its Applications
  
  Volume: 252 Pages: 90-96
- DOI
  10.1016/j.topol.2018.11.019
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03403, KAKENHI-PROJECT-18K03404
[Journal Article] Notes on $G_\kappa$-subsets of compact-like spaces,2019
- Author(s)
  Usuba Toshimichi
- Journal Title
  
  京都数理解析研究所講究録
  
  Volume: 印刷中
- Data Source
  KAKENHI-PROJECT-18K03403
[Journal Article] On the existence of skinny stationary subsets2019
- Author(s)
  Matsubara Yo、Sakai Hiroshi、Usuba Toshimichi
- Journal Title
  
  Annals of Pure and Applied Logic
  
  Volume: 170 Issue: 5 Pages: 539-557
- DOI
  10.1016/j.apal.2018.12.003
- NAID
  120006604682
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03403, KAKENHI-PROJECT-18K03404, KAKENHI-PROJECT-18K03397
[Journal Article] $G_\delta $-topology and compact cardinals2019
- Author(s)
  Usuba Toshimichi
- Journal Title
  
  Fundamenta Mathematicae
  
  Volume: 246 Issue: 1 Pages: 71-87
- DOI
  10.4064/fm487-7-2018
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03403, KAKENHI-PROJECT-18K03404
[Journal Article] A note on the tightness of G-modifications2019
- Author(s)
  Usuba Toshimichi
- Journal Title
  
  Topology and its Applications
  
  Volume: 265 Pages: 106820-106820
- DOI
  10.1016/j.topol.2019.106820
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03403, KAKENHI-PROJECT-18K03404
[Journal Article] New combinatorial principle on singular cardinals and normal ideals2018
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 印刷中
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04984
[Journal Article] Extendible cardinals and the mantle2018
- Author(s)
  Usuba Toshimichi
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 58 Issue: 1-2 Pages: 71-75
- DOI
  10.1007/s00153-018-0625-4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03403, KAKENHI-PROJECT-18K03404
[Journal Article] Notes on products of Lindelof spaces with points Gδ2018
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 印刷中
- Data Source
  KAKENHI-PROJECT-15K04984
[Journal Article] Notes on products of Lindel\"of spaces with points G_delta2018
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 印刷中
- Data Source
  KAKENHI-PROJECT-15K17587
[Journal Article] Extendible cardinals and the mantle2018
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Archice for Mathematical Logic
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K17587
[Journal Article] New combinatorial principle on singular cardinals and normal ideals2018
- Author(s)
  Usuba Toshimichi
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 64 Issue: 4-5 Pages: 395-408
- DOI
  10.1002/malq.201700024
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03403, KAKENHI-PROJECT-18K03404
[Journal Article] Notes on products of Lindel\"of spaces with points $G_\delta$2018
- Author(s)
  Usuba Toshimichi
- Journal Title
  
  京都数理解析研究所講究録
  
  Volume: 2081 Pages: 57-61
- Data Source
  KAKENHI-PROJECT-18K03403
[Journal Article] On skinny subsets of $P_\kappa \lambda$2018
- Author(s)
  Matsubara Yo, Sakai Hiroshi, Usuba Toshmichi
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2081 Pages: 1-6
- Data Source
  KAKENHI-PROJECT-18K03403
[Journal Article] New combinatorial principle on singular cardinals and normal ideals2018
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Mathematical Logic quarterly
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K17587
[Journal Article] Variants of the ground axiom2017
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2042 Pages: 106-111
- Data Source
  KAKENHI-PROJECT-15K04984
[Journal Article] The downward directed grounds hypothesis and very large cardinals2017
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Journal of Mathematical Logic
  
  Volume: 17 Issue: 02 Pages: 175-209
- DOI
  10.1142/s021906131750009x
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K04984, KAKENHI-PROJECT-15K17587
[Journal Article] Large regular Lindelof spaces with points Gδ2017
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Fundamenta Mathematicae
  
  Volume: 237 Pages: 249-260
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K04984
[Journal Article] Variants of the ground axiom2017
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2024 Pages: 106-112
- Data Source
  KAKENHI-PROJECT-15K17587
[Journal Article] Supercompact cardinals in ZF2016
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1988 Pages: 77-80
- Data Source
  KAKENHI-PROJECT-15K04984
[Journal Article] Subtle properties and partition relations2016
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 62 Pages: 59-71
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K04984
[Journal Article] Supercompact cardinals in ZF2016
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 1988 Pages: 77-81
- Open Access
- Data Source
  KAKENHI-PROJECT-26610040
[Journal Article] Superstrong and other cardinals are never indestructible2016
- Author(s)
  Joan Bagaria, Joel David Hamkins, Konstantinos Tsapronis, Toshimichi Usuba
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 55 Issue: 1-2 Pages: 19-35
- DOI
  10.1007/s00153-015-0458-3
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17587, KAKENHI-PROJECT-26610040
[Journal Article] Notes on elementary submodel spaces2016
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1987 Pages: 32-36
- Data Source
  KAKENHI-PROJECT-15K04984
[Journal Article] Subtle properties and partition relations2016
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 62 Issue: 1-2 Pages: 59-71
- DOI
  10.1002/malq.201400040
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K17587
[Journal Article] Reflection principles for $\omega_2$ and semi-stationary reflection principle2016
- Author(s)
  Toshimihchi Usuba
- Journal Title
  
  Journal of the Mathematical Society of Japan
  
  Volume: 68 Pages: 1081-1098
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K17587
[Journal Article] Notes on elementary submodel spaces2016
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1988 Pages: 77-80
- Open Access
- Data Source
  KAKENHI-PROJECT-15K17587
[Journal Article] Reflection Principles for ω2 and semi-stationry reflection principle2016
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Journal of Mathematical Society of Japan
  
  Volume: 68 Pages: 1081-1098
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K04984
[Journal Article] Superstrong and other cardinals are never indestructible2016
- Author(s)
  Joan Bagaria, Joel David Hamkins, Konstantinos Tsapronis, Toshimichi Usuba
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 55 Pages: 19-35
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04984
[Journal Article] Large regular Lindel\"of spaces with points $G_\delta$2016
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Fundamenta Mathematicae
  
  Volume: 237 Issue: 3 Pages: 249-260
- DOI
  10.4064/fm296-8-2016
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K17587
[Journal Article] Supercompact cardinals in ZF2016
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1988 Pages: 77-80
- Open Access
- Data Source
  KAKENHI-PROJECT-15K17587
[Journal Article] Superstrong and other cardinals are never indestructible2015
- Author(s)
  Joan Bagaria, Joel David Hamkins, Konstantinos Tsapronis, Toshimichi Usuba
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 未定
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26610040
[Journal Article] Reflection principles for $\omega_2$ and semi-stationary reflection principle2015
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Journal of the Mathematical Society of Japan
  
  Volume: 未定
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26610040
[Journal Article] A reflection principle formulated in terms of games2014
- Author(s)
  Sakae Fuchino and Toshimichi Usuba
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1895 Pages: 37-47
- Open Access
- Data Source
  KAKENHI-PROJECT-26610040
[Journal Article] Two-cardinal version of weak compactness: partitions of triples2014
- Author(s)
  Pierre Matet, Toshimichi usuba
- Journal Title
  
  Journal of Mathematival Society of Japan
  
  Volume: 未定
- NAID
  130004927761
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] The approximation property and the chain condition2014
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1895 Pages: 103-107
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] The approximation property and the chain condition2014
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  数理解析研究所考究録
  
  Volume: 未定
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Superstrong and other cardinals are never indestructible2014
- Author(s)
  Joan Bagaria, Joel Hamkins, Konstantinos Tsapronis, Toshimich Usuba
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 未定
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Characters of countably tight spaces and inaccessible cardinals2014
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Topology and its applications
  
  Volume: 161 Pages: 95-106
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Lindelof spaces with small pseudocharacter and analog of Borel's Conjecture2014
- Author(s)
  Franklin Tall, Toshimichi Usuba
- Journal Title
  
  Houston Journal of mathematics
  
  Volume: 未定
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Bounded dagger principles2014
- Author(s)
  Toshimich Usuba
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 未定
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Hierarchies of ineffabilities2013
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: to appear
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Hierarchies of ineffa-bilities2013
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 59 Pages: 230-237
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Notes on Miyamoto's forcing axioms2012
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  数理解析研究所考究録
  
  Volume: 1790 Pages: 60-64
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Notes on the partition property of P_κλ2012
- Author(s)
  Yoshihiro Abe, Toshimichi Usuba
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 51 Pages: 575-589
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Splitting stationary sets in P(λ)2012
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Journal of Symbolic Logic
  
  Volume: 77 Pages: 49-62
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Splitting stationary sets in Ｐ(λ)2012
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Journal of Symbolic Logic
  
  Volume: 77 Pages: 49-62
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Note on the partition property of Pκλ2012
- Author(s)
  Yoshihiro Abe, Toshimichi Usuba
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 51 Pages: 575-589
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Note on the partition property of Ｐκλ2012
- Author(s)
  Yoshihiro Abe - Toshimichi Usuba
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: to appear
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Notes on Miyamoto's forcing axioms2012
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1790 Pages: 60-64
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] 現代集合論における巨大基数2012
- Author(s)
  藤田博司, 薄葉季路
- Journal Title
  
  科学基礎論研究
  
  Volume: 39 Pages: 33-42
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Fodor-type Reflection Principle and reflection of metrizability and meta-Lindelofness2010
- Author(s)
  Sakae Fuchino, Istvan Juhasz, Lajos Soukup, Zoltan Szentmiklossy, Toshimichi Usuba
- Journal Title
  
  Topology and its Applications
  
  Volume: 157 Pages: 1415-1429
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540150
[Journal Article] Fodor-type Reflection Principle and reflection of metrizability and meta-Lindelofness2010
- Author(s)
  Sakae Fuchino, Istvan Juhasz, Lajos Soukup, Zoltan Szentmiklossy and Toshimichi Usuba
- Journal Title
  
  Topology and its Applications
  
  Volume: Vol.157, 8 Pages: 1415-1429
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540150
[Journal Article] Fodor-type Reflection Principle and reflection of metrizability and meta-Lindelofness2010
- Author(s)
  Sakae Fuchino, Istvan Juhasz, Lajos Soukup, Zoltan Szentmiklossy, Toshimichi Usuba
- Journal Title
  
  Topology and its Applications
  
  Volume: 157 Pages: 1415-1429
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540142
[Journal Article] Splitting stationary sets in P_κλ for λ with small cofinality2009
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Fundamenta Mathematicae 205巻
  
  Pages: 265-287
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540142
[Journal Article] Partitioning a stationary set in P(λ)2008
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  数理解析研究所考究録 1595
  
  Pages: 70-83
- Data Source
  KAKENHI-PROJECT-20540142
[Journal Article] Ineffability of P_κλ for λ with small cofinality2008
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Journal of Mathematical Society of Japan 60巻
  
  Pages: 935-954
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540142
[Journal Article] Bounded daggar principles
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: (in Press)
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Superstrong and strong cardinals are never indestructible
- Author(s)
  Joan Bagaria, Joel Hamkins, Konstantinos Tsapronis, Toshimichi Usuba
- Journal Title
  
  Archive for mathematical Logic
  
  Volume: (to appear)
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Two-cardinal version of weak compactness : partition of triples
- Author(s)
  Pierre Matet, Toshimichi Usuba
- Journal Title
  
  Journal of Mathematical Society of Japan
  
  Volume: (in Press)
- NAID
  130004927761
- Data Source
  KAKENHI-PROJECT-23540167
[Journal Article] Splitting stationary subsets in P(λ)
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Journal of Symbolic Logic
  
  Volume: (To appear 掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540142
[Journal Article] Fodor-type Reflecton Principle and reflection of metrizability and meta-Lindelofness
- Author(s)
  Sakae Fuchino, Istvan Juhasz, Lajos Soukup, Zoltan Szentmikloossy, Toshimichi Usuba
- Journal Title
  
  Topology and its applications to appear
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540142
[Journal Article] Splitting stationary subsets in P_κλ
- Author(s)
  Toshimichi Usuba
- Journal Title
  
  Journal of Symbolic Logic (掲載決定済)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20540142
[Presentation] 可算集合の可算和について（ただし選択公理は仮定しない）2023
- Author(s)
  薄葉季路
- Organizer
  第8回山陰基礎論と数学およびその周辺の研究集会
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] Monotonicity of ultrafilter numbers2023
- Author(s)
  薄葉季路
- Organizer
  日本数学会2023年度年会
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] The continuum function on the countable unions of countable sets2022
- Author(s)
  宮内凛、薄葉季路
- Organizer
  2022年度日本数学会秋季総合分科会
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] Lowenheim-Skolem-Tarski property of rings of continuous functions2022
- Author(s)
  薄葉季路
- Organizer
  Symposium on Advances in Mathematical Logic
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] Generic setwise large cardinals2021
- Author(s)
  Toshimichi Usuba
- Organizer
  Kobe Set Theory Workshop 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] Variants of strong Chang's conjecture2021
- Author(s)
  薄葉季路
- Organizer
  日本数学会2021年度年会
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] Generically extendible cardinals2021
- Author(s)
  薄葉季路
- Organizer
  日本数学会2021 年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] Equalities for the extent of infinite products and Σ-products2021
- Author(s)
  矢島幸信平田康史薄葉季路
- Organizer
  日本数学会2021 年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] Generically extendible cardinals2021
- Author(s)
  薄葉季路
- Organizer
  日本数学会2021 年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] Variants of strong Chang's conjecture2021
- Author(s)
  薄葉季路
- Organizer
  日本数学会2021年度年会
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] Generic setwise large cardinals2021
- Author(s)
  Toshimichi Usuba
- Organizer
  Kobe Set Theory Workshop 2021
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] Equalities for the extent of infinite products and Σ-products2021
- Author(s)
  矢島幸信, 平田康史, 薄葉季路
- Organizer
  日本数学会2021 年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] On Reinhardt cardinals2020
- Author(s)
  薄葉季路
- Organizer
  日本数学会2020年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] On generically extendible cardinals2020
- Author(s)
  薄葉季路
- Organizer
  日本数学会2020年度年会
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] On Reinhardt cardinals2020
- Author(s)
  薄葉季路
- Organizer
  日本数学会2020年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] On generically extendible cardinals2020
- Author(s)
  薄葉季路
- Organizer
  日本数学会2020 年度年会
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] Geology of symmetric grounds2019
- Author(s)
  Toshimichi Usuba
- Organizer
  Set Theory and Infinity
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] Standard and choiceless set-theoretic geology2019
- Author(s)
  薄葉季路
- Organizer
  Summer School 2019 (東北大学)
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] Choiceless set-theoretic geology2019
- Author(s)
  Toshimichi Usuba
- Organizer
  Asian Logic Conference 2019
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] GCH at strongly compact cardinals2019
- Author(s)
  薄葉季路
- Organizer
  日本数学会2019年度年会
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] 多元宇宙の理論2019
- Author(s)
  薄葉季路
- Organizer
  山陰基礎論・解析学セミナー
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] Choiceless set-theoretic geology2019
- Author(s)
  Toshimichi Usuba
- Organizer
  Higher recursion theory and set theory
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] GCH at strongly compact cardinals2019
- Author(s)
  薄葉季路
- Organizer
  日本数学会2019年度年会
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] Large cardinals as natural upper bounds on cardinal functions2019
- Author(s)
  Toshimichi Usuba
- Organizer
  3rd Pan-Pacific International Conference on Topology and Applications
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] Geology of symmetric grounds2019
- Author(s)
  Toshimichi Usuba
- Organizer
  Set Theory and Infinity
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] Choiceless set-theoretic geology2019
- Author(s)
  Toshimichi Usuba
- Organizer
  Higher recursion theory and set theory
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] 多元宇宙の理論2019
- Author(s)
  薄葉季路
- Organizer
  山陰基礎論・解析学セミナー 2019
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] Large cardinals as natural upper bounds on cardinal functions2019
- Author(s)
  Toshimichi Usuba
- Organizer
  3rd Pan-Pacific International Conference on Topology and Applications
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] Choiceless set-theoretic geology2019
- Author(s)
  Toshimichi Usuba
- Organizer
  Asian Logic Conference 2019
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] Standard and choiceless set-theoretic geology2019
- Author(s)
  薄葉季路
- Organizer
  Summer School 2019
- Invited
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] Syntactical and semantical approachs to generic multiverse2018
- Author(s)
  Toshimichi Usuba
- Organizer
  Sendai Logic School 2018
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] Compactness cardinals and covering properties of topological spaces2018
- Author(s)
  薄葉季路
- Organizer
  手形Ｌ４研究集会
- Invited
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Axiomatization of Generic Multiverse2018
- Author(s)
  薄葉季路
- Organizer
  証明論研究集会
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] Extendible cardinals and the mantle2018
- Author(s)
  薄葉季路
- Organizer
  日本数学会秋季総合分科会
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] Gδ-topology and compact cardinals2018
- Author(s)
  薄葉季路
- Organizer
  一般位相幾何学の進展と諸問題
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] 数学基礎論と位相空間論のコンパクト2018
- Author(s)
  薄葉季路
- Organizer
  筑波大学数学域談話会
- Invited
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] 多元宇宙論入門2018
- Author(s)
  薄葉季路
- Organizer
  山陰基礎論・解析学セミナー２０１８
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Products of Lindel\"of spaces2018
- Author(s)
  薄葉季路
- Organizer
  日本数学会２０１８年度年会
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Syntactical and semantical approach to generic multiverse2018
- Author(s)
  Usuba Toshimichi
- Organizer
  Sendai Logic School 2018
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] Compactness cardibals and covering properties of topological spaces2018
- Author(s)
  薄葉季路
- Organizer
  手形L4研究集会
- Invited
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] 数学基礎論と位相空間論のコンパクト2018
- Author(s)
  薄葉季路
- Organizer
  筑波大学数学域談話会
- Invited
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] 多元宇宙論入門2018
- Author(s)
  薄葉季路
- Organizer
  山陰基礎論・解析学セミナー2018
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] Axiomatization of Generic Multiverse2018
- Author(s)
  薄葉季路
- Organizer
  証明論研究集会 2018
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] $G_\delta$-topology and compact cardinals2018
- Author(s)
  薄葉季路
- Organizer
  一般位相幾何学の進展と諸問題
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] $\omega_1$-strongly compact cardinals and cardinal functions in topology2018
- Author(s)
  Usuba Toshimichi
- Organizer
  Reflections on Set Theoretic Reflection
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] The generic multiverse and large cardinals2018
- Author(s)
  Toshimichi Usuba
- Organizer
  Symposium on Advances in Mathematical Logic 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] Extendible cardinals and the mantle2018
- Author(s)
  薄葉季路
- Organizer
  日本数学会2018年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] ω1-strongly compact cardinals and cardinal functions in topology2018
- Author(s)
  Toshimichi Usuba
- Organizer
  Reflections on Set Theoreric Reflection
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03404
[Presentation] パラコンパクト空間と強制法公理2018
- Author(s)
  薄葉季路
- Organizer
  第64回トポロジーシンポジウム
- Invited
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] The generic multiverse and large cardinals2018
- Author(s)
  Usuba Toshimichi
- Organizer
  Symposium on Advances in Mathematical Logic 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03403
[Presentation] Products of Lindelof spaces2018
- Author(s)
  薄葉季路
- Organizer
  日本数学会2018年度年会
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] 大域的と局所的: パラコンパクトを題材に2017
- Author(s)
  薄葉季路
- Organizer
  山陰基礎論・解析学セミナー2017
- Place of Presentation
  米子国際ファミリープラザ
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Set-theoretic geologies2017
- Author(s)
  Toshimichi Usuba
- Organizer
  Workshop on Computability Theory and Foundation of Mathematics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] 集合論の宇宙 - universeとmultiverse -2017
- Author(s)
  薄葉季路
- Organizer
  日本数学会2017年度年会
- Place of Presentation
  首都大学東京
- Invited
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] 大域的と局所的：パラコンパクトを題材に2017
- Author(s)
  薄葉季路
- Organizer
  山陰基礎論・解析学セミナー2017
- Place of Presentation
  米子国際ファミリープラザ
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] パラコンパクト空間と強制法公理2017
- Author(s)
  薄葉季路
- Organizer
  第６４回トポロジーシンポジウム
- Invited
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] 集合論の宇宙-univrese とmultiverse-2017
- Author(s)
  薄葉季路
- Organizer
  日本数学会2017年度年会
- Place of Presentation
  首都大学東京
- Invited
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] The Downward Directed Ground Hypothesis2017
- Author(s)
  Toshimichi Usuba
- Organizer
  Academy of Mathematics and Systems Science Colloquium
- Place of Presentation
  Chinese Academy of Science, 中国
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] Gδ-modification and large cardinals2017
- Author(s)
  Toshimichi Usuba
- Organizer
  Iterated Forcing Theory and casrdinal Invariants
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] G_delta-modification and large cardinals2017
- Author(s)
  Toshimichi Usuba
- Organizer
  Iterated Forcing theory and cardinal invariants
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] The Downward Directed Ground Hypothesis2017
- Author(s)
  Toshimichi Usuba
- Organizer
  Academy of Mathematics and Systems Science Colloquium
- Place of Presentation
  Chinese Academy of Science, 中国
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Set-theoretic geologies2017
- Author(s)
  Toshimichi Usuba
- Organizer
  6th European Set Theory Conference
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] 集合論の宇宙と強制法2017
- Author(s)
  薄葉季路
- Organizer
  東北大学理学部数学科談話会
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] Set-theoretic geologies2017
- Author(s)
  Toshimichi Usuba
- Organizer
  Workshop on Computability Theory and Foundations of mathematics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] 集合論の宇宙と強制法2017
- Author(s)
  薄葉季路
- Organizer
  東北大学理学部数学科談話会
- Invited
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Set-theoretic geologies2017
- Author(s)
  Toshimichi Usuba
- Organizer
  6th European Set Theory Conference
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] The universe and multiverse2016
- Author(s)
  薄葉季路
- Organizer
  科学基礎論学会2016年度総会・講演会
- Place of Presentation
  埼玉大学
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] 有向集合の分類2016
- Author(s)
  薄葉季路
- Organizer
  山陰基礎論・解析学セミナー 2016
- Place of Presentation
  皆生の里「ゆるり」, 米子
- Year and Date
  2016-01-30
- Invited
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] Definability of ground models in ZF2016
- Author(s)
  Toshimichi Usuba
- Organizer
  Infinite combinatorisc and Forcing Theory
- Place of Presentation
  京都大学数理解析研究所
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] 有向集合の分類2016
- Author(s)
  薄葉季路
- Organizer
  山陰基礎論・解析学セミナー 2016
- Place of Presentation
  米子, 皆生の宿ゆるり
- Year and Date
  2016-01-30
- Invited
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Lindel\"of spaces and large cardinals2016
- Author(s)
  Toshimichi Usuba
- Organizer
  Toposym 2016
- Place of Presentation
  Czech Technical University, Czech republic
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Paracompactness of Locally Lindel\"of spaces2016
- Author(s)
  薄葉季路
- Organizer
  2016年度ジェネラルトポロジーシンポジウム
- Place of Presentation
  筑波大学
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] The Downward Directed Grounds hypothesis2016
- Author(s)
  Toshimichi Usuba
- Organizer
  IMS-JSPS Joint Workshop in Mathematical Logic and Foundations of Mathematics
- Place of Presentation
  National University of Singapore, Singapore
- Year and Date
  2016-01-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] The Downward Directed Grounds hypothesis2016
- Author(s)
  Toshimichi Usuba
- Organizer
  IMS-JSPS Joint Workshop in Mathematical Logic and Foundations of Mathematics
- Place of Presentation
  National University of Singapore, Singapore
- Year and Date
  2016-01-16
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] The universe and the multiverse2016
- Author(s)
  薄葉季路
- Organizer
  科学基礎論学会2016年度総会・講演会
- Place of Presentation
  埼玉大学
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Set-theoretic geology without AC2016
- Author(s)
  薄葉季路
- Organizer
  日本数学会2016年度秋季総合分科会
- Place of Presentation
  関西大学
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] Definability of grounds in ZF2016
- Author(s)
  Toshimichi Usuba
- Organizer
  Infinite Combinatorics and Forcing Theory
- Place of Presentation
  京都大学
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] Paracompactness of locally Lindelof spaces2016
- Author(s)
  薄葉季路
- Organizer
  2016年度ジェネラルトポロジーシンポジウム
- Place of Presentation
  筑波大学
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] Lindelof spaces and large cardinals2016
- Author(s)
  Toshimichi Usuba
- Organizer
  Topsym 2016
- Place of Presentation
  Czech Technical University, Czech Republic
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] Set-theoretic geology without AC2016
- Author(s)
  薄葉季路
- Organizer
  日本数学会2016年度秋季総合分科会
- Place of Presentation
  関西大学
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Long Cut and Choose game and the infinite distributive law2015
- Author(s)
  Toshimichi Usuba
- Organizer
  BLAST2015@UNT
- Place of Presentation
  University of North Texas, USA
- Year and Date
  2015-06-08
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Set-theoretic geology and large cardinals2015
- Author(s)
  Toshimichi Usuba
- Organizer
  Computability Theory and Foundations of Mathematics 2015
- Place of Presentation
  東京工大
- Year and Date
  2015-09-11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] Long Cut and Choose game and the infinite distributive law2015
- Author(s)
  Toshimichi Usuba
- Organizer
  BLAST2015@UNT
- Place of Presentation
  University of North Texas, USA
- Year and Date
  2015-06-08
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] Remarks on elementary submodel topology2015
- Author(s)
  薄葉季路
- Organizer
  集合論的位相幾何学および幾何学的トポロジーの最近の動向と展望
- Place of Presentation
  京都大学
- Year and Date
  2015-11-18
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Long topological games and Lindel\"of spaces with points $G_\delta$2015
- Author(s)
  Toshimichi Usuba
- Organizer
  International Conference on Set-Theoretic Topology and its Applications
- Place of Presentation
  神奈川大学
- Year and Date
  2015-08-25
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Set-theoretic geology and large large cardinals2015
- Author(s)
  Toshimichi Usuba
- Organizer
  Recent Developments in Axiomatic Set Theory
- Place of Presentation
  京都大学
- Year and Date
  2015-09-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] Remarks on elementary submodel topology2015
- Author(s)
  薄葉季路
- Organizer
  集合論的位相幾何学および幾何学的トポロジーの最近の動向と展望
- Place of Presentation
  京都大学
- Year and Date
  2015-11-18
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] Selective ideals over Pκλ2015
- Author(s)
  Toshimichi Usuba
- Organizer
  1st Pan Pacific International Conference on Topology and Applications
- Place of Presentation
  Minnan Normal University, China
- Year and Date
  2015-11-26
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] Set-theoretic geology with large cardinals2015
- Author(s)
  Toshimichi Usuba
- Organizer
  Computability Theory and Foundations of Mathematics 2015
- Place of Presentation
  東京工業大学
- Year and Date
  2015-09-11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Large regular Lindelof spaces with points Gδ2015
- Author(s)
  Toshimichi Usuba
- Organizer
  Sets and Computations
- Place of Presentation
  National University of Singapore, Singapore
- Year and Date
  2015-04-08
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] Ling topological games and Lindelof spaces with points Gδ2015
- Author(s)
  Toshimichi Usuba
- Organizer
  International Conference on Set-Theoretic Topology and its Applications
- Place of Presentation
  神奈川大学
- Year and Date
  2015-08-25
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04984
[Presentation] Selective ideals over $P_\kappa \lambda$2015
- Author(s)
  Toshimichi Usuba
- Organizer
  1st Pan Pacific International Conference on Topology and Applications
- Place of Presentation
  Minnan Normal University, Chaina
- Year and Date
  2015-11-26
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Set-theoretic geology and large large cardinals2015
- Author(s)
  Toshimichi Usuba
- Organizer
  Recent Developments in Axiomatic Set Theory
- Place of Presentation
  京都大学
- Year and Date
  2015-09-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Large regular Lindel\"of spaces with points $G_\delta$2015
- Author(s)
  Toshimichi Usuba
- Organizer
  Sets and Computations
- Place of Presentation
  National University of Singapore, Singapore
- Year and Date
  2015-04-08
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] 強制法と様相論理2015
- Author(s)
  薄葉季路
- Organizer
  数学基礎論サマースクール２０１５
- Place of Presentation
  神戸大学
- Year and Date
  2015-08-18
- Invited
- Data Source
  KAKENHI-PROJECT-15K17587
[Presentation] Definability of the ground model and large cardinals2014
- Author(s)
  Toshimichi Usuba
- Organizer
  IMS-JSPS Joint Workshop in Mathematical Logic and Foundations of Mathematics
- Place of Presentation
  National University of Singapore
- Year and Date
  2014-09-03
- Invited
- Data Source
  KAKENHI-PROJECT-26610040
[Presentation] Large Lindel\"of spaces with points $G_\delta$2014
- Author(s)
  Toshimichi Usuba
- Organizer
  I Brazilian Congress of Young Researchers in Pure and Applied Mathematics
- Place of Presentation
  University of Sao Paulo
- Year and Date
  2014-12-12
- Invited
- Data Source
  KAKENHI-PROJECT-26610040
[Presentation] Saturation of definable ideals2013
- Author(s)
  Toshimichi Usuba
- Organizer
  Logic Colloquium 2013
- Place of Presentation
  Erora University, Portugal
- Year and Date
  2013-07-24
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] The cardinality of compact c. c. c. spaces2013
- Author(s)
  Toshimichi Usuba
- Organizer
  集合論的及び幾何学的トポロジーの現状とその展開
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Topological games and large cardinals2013
- Author(s)
  Toshimichi Usuba
- Organizer
  International Conference on Toplology and Geometry 2013
- Place of Presentation
  島根大学
- Invited
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Saturation of definable ideals2013
- Author(s)
  Toshimichi Usuba
- Organizer
  Logic Colloquium 2013
- Place of Presentation
  Evora University, Portugal
- Invited
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Superstrong and other large cardinals are not Laver indestructible2013
- Author(s)
  Toshimichi Usuba
- Organizer
  The 13th Asian Logic Conference
- Place of Presentation
  中山大学, 中国
- Year and Date
  2013-09-18
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Superdestructibility of extendible cardinals2013
- Author(s)
  Toshimichi Usuba
- Organizer
  Reflection principles and set theory of large cardinals
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Superdestructibility of extendible cardinals, Reflection principles and set theory of large cardinals2013
- Author(s)
  Toshimichi Usuba
- Place of Presentation
  京都大学
- Year and Date
  2013-09-11
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Large cardinals and indestructible countably tight spaces2013
- Author(s)
  薄葉季路
- Organizer
  日本数学会2013年度年会
- Place of Presentation
  京都大学
- Year and Date
  2013-03-21
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Partial stationary reflection principles, Forcing extensions and large cardinals2012
- Author(s)
  薄葉季路
- Place of Presentation
  京都大学
- Year and Date
  2012-12-05
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Large cardinals and indescructible Lindel Öf spaces2012
- Author(s)
  薄葉季路
- Organizer
  日本数学会2012年度秋季総合分科会
- Place of Presentation
  九州大学
- Year and Date
  2012-09-20
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Small semiproper posets2012
- Author(s)
  Toshimichi Usuba
- Organizer
  FWF/JSPS joint seminar on Forcing and Set theory(招待講演)
- Place of Presentation
  神戸大学
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Games on complete Boolean algebras2012
- Author(s)
  薄葉季路
- Organizer
  日本数学会2012年度年会
- Place of Presentation
  東京理科大学
- Year and Date
  2012-03-27
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Small semiproper posets2012
- Author(s)
  Toshimichi Usuba
- Organizer
  FWF/JSPS joint seminar on Forcing and Set Theory
- Place of Presentation
  神戸大学
- Year and Date
  2012-01-28
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Skinny sets and the non-stationary idal over P_κλ, Aspects of Discriptive set theory2011
- Author(s)
  Toshimichi Usuba
- Place of Presentation
  京都大学
- Year and Date
  2011-10-20
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] 強制法と位相空間の被覆の性質について2011
- Author(s)
  薄葉季路,吉信康夫
- Organizer
  2011年度日本数学会秋季総合分科会トポロジー分科会
- Place of Presentation
  信州大学
- Year and Date
  2011-09-30
- Data Source
  KAKENHI-PROJECT-20540114
[Presentation] 強制法と被覆の性質について2011
- Author(s)
  薄葉季路, 吉信康夫
- Organizer
  日本数学会2011年度秋季総合分科会
- Place of Presentation
  信州大学
- Year and Date
  2011-09-28
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] 強制法と位相空間の被覆の性質について2011
- Author(s)
  薄葉季路・吉信康夫
- Organizer
  2011年度日本数学会秋季総合分科会(トポロジー分科会一般講演)
- Place of Presentation
  信州大学
- Year and Date
  2011-09-30
- Data Source
  KAKENHI-PROJECT-20540114
[Presentation] Lindelof空間とHechler強制2011
- Author(s)
  足立裕基・薄葉季路・吉信康夫
- Organizer
  2011年度日本数学会秋季総合分科会(数学基礎論及び歴史分科会一般講演)
- Place of Presentation
  信州大学
- Year and Date
  2011-09-28
- Data Source
  KAKENHI-PROJECT-20540114
[Presentation] 巨大基数と現代集合論2011
- Author(s)
  薄葉季路
- Organizer
  科学基礎論学会2011年度総会(招待講演)
- Place of Presentation
  愛媛大学
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Skinny sets and the non-stationary ideal over Ｐκλ2011
- Author(s)
  Toshimichi Usuba
- Organizer
  Aspects of Discriptive set theory(招待講演)
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Lindelof空間とHechler強制2011
- Author(s)
  足立裕基,薄葉季路,吉信康夫
- Organizer
  2011年度日本数学会秋季総合分科会数学基礎論及び歴史分科会
- Place of Presentation
  信州大学
- Year and Date
  2011-09-28
- Data Source
  KAKENHI-PROJECT-20540114
[Presentation] 強制法のもとでの被覆の性質の保存について2011
- Author(s)
  薄葉季路, 吉信康夫
- Organizer
  第46回位相空間論シンポジウム
- Place of Presentation
  静岡大学
- Year and Date
  2011-06-03
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] 巨大基数と現代集合論2011
- Author(s)
  薄葉季路
- Organizer
  科学基礎論学会2011年度総会
- Place of Presentation
  愛媛大学
- Year and Date
  2011-06-05
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] 強制法のもとでの被覆の性質の保存について2011
- Author(s)
  薄葉季路,吉信康夫
- Organizer
  第46回位相空間論シンポジウム
- Place of Presentation
  静岡大学
- Year and Date
  2011-06-03
- Data Source
  KAKENHI-PROJECT-20540114
[Presentation] Stationary reflection principles on [λ]^ω2010
- Author(s)
  薄葉季路
- Organizer
  Interplay between large cardinals and small cardinals
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2010-10-27
- Data Source
  KAKENHI-PROJECT-20540142
[Presentation] Set theoretic aspects of Lindelof spaces2010
- Author(s)
  足立裕基, 薄葉季路, 吉信康夫
- Organizer
  2010年度General Topology シンポジウム
- Place of Presentation
  筑波大学
- Year and Date
  2010-12-21
- Data Source
  KAKENHI-PROJECT-20540142
[Presentation] Stationary reflection principles on λ^ω2010
- Author(s)
  Toshimichi Usuba
- Organizer
  Interplay between large cardinals and small cardinals
- Place of Presentation
  京都大学
- Year and Date
  2010-10-27
- Data Source
  KAKENHI-PROJECT-20540142
[Presentation] Set theoretic aspects of Lindelof spaces2010
- Author(s)
  足立裕基,薄葉季路,吉信康夫
- Organizer
  2010年度General Topologyシンポジウム
- Place of Presentation
  筑波大学
- Year and Date
  2010-12-21
- Data Source
  KAKENHI-PROJECT-20540114
[Presentation] Unbranched property on singular cardinals2010
- Author(s)
  薄葉季路
- Organizer
  Logic Colloquium 2010
- Place of Presentation
  Paris Diderot University, France.
- Year and Date
  2010-06-30
- Data Source
  KAKENHI-PROJECT-20540142
[Presentation] Unbranched property on singular cardinals2010
- Author(s)
  Toshimichi Usuba
- Organizer
  Logic Colloquium 2010
- Place of Presentation
  Paris Diderot University
- Year and Date
  2010-06-30
- Data Source
  KAKENHI-PROJECT-20540142
[Presentation] A variant of normality of ideals over of P(λ)2008
- Author(s)
  Toshimichi Usuba
- Organizer
  The 10th Asian Logic Conference
- Place of Presentation
  神戸大学
- Year and Date
  2008-09-05
- Data Source
  KAKENHI-PROJECT-20540142
[Presentation] Strong normality of ideals and a combinatorial principle of P(λ)2008
- Author(s)
  Toshimichi Usuba
- Organizer
  Workshop on Combinatorial and Descriptive Set Theory
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2008-08-25
- Data Source
  KAKENHI-PROJECT-20540142
[Presentation] 定常集合・巨大基数・飽和イデアル2008
- Author(s)
  薄葉季路
- Organizer
  日本数学会秋季総合分科会(数学基礎論・歴史分科会特別講演)
- Place of Presentation
  東京工業大学
- Year and Date
  2008-09-27
- Data Source
  KAKENHI-PROJECT-20540142
[Presentation] Storng normality of ideals and a combinatorial principle of P(λ)2008
- Author(s)
  薄葉季路
- Organizer
  Workshop on Combinatorial and Descriptive Set Theory
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2008-08-25
- Data Source
  KAKENHI-PROJECT-20540142
[Presentation] A variant of normality of ideals over P(λ)2008
- Author(s)
  薄葉季路
- Organizer
  The 10th Asian Logic Conference
- Place of Presentation
  神戸大学
- Year and Date
  2008-09-05
- Data Source
  KAKENHI-PROJECT-20540142
[Presentation] Large cardinals and indestructible Lindelof spaces
- Author(s)
  薄葉季路
- Organizer
  日本数学会2012年度秋季総合分科会
- Place of Presentation
  九州大学
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Characters of countable tight spaces
- Author(s)
  薄葉季路
- Organizer
  2012 General Topology シンポジウム
- Place of Presentation
  神戸大学
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Partial stationary reflection principles
- Author(s)
  薄葉季路
- Organizer
  Forcing extensions and large cardinals
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] 証明不可能な命題と巨大基数
- Author(s)
  薄葉季路
- Organizer
  計算による数理科学の展開 2013
- Place of Presentation
  神戸大学
- Invited
- Data Source
  KAKENHI-PROJECT-23540167
[Presentation] Topological games on Lindelof spaces and generalized Borel conjecture
- Author(s)
  薄葉季路（with Franklin D. Tall）
- Organizer
  第47回位相空間論シンポジウム
- Place of Presentation
  愛媛大学
- Data Source
  KAKENHI-PROJECT-23540167

1. FUCHINO Sakae (30292098)

# of Collaborated Projects: 5 results

# of Collaborated Products: 3 results
2. SAKAI Hiroshi (70468239)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
3. ABE Yoshihiro (10159452)

# of Collaborated Projects: 4 results

# of Collaborated Products: 3 results
4. YASUO Yoshinobu (90281063)

# of Collaborated Projects: 3 results

# of Collaborated Products: 6 results
5. MATSUBARA Yo (30242788)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
6. KADA Masaru (00312447)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
7. TOMOYASU Kazuo (10332107)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
8. KAMO Shizuo (30128764)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
9. SHIOYAMA Sahiro (30251028)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. MIYAMOTO Tadatoshi (70229889)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. 南裕明 (70646885)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. HIRATAYA Sushi (70375400)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
13. LAJOS Soukup

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
14. FRIEDMAN Sy-david

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. ISHII Hiromi

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. YAMAURA Naoki

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. Iwasa Akira

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. Kato Takuto

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. Shizuma Souji

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. KONIG Bernhard

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. B.LARSON Paul

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. Bagaria Joan

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
23. Hamkins Joel David

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
24. Tsaprounis Konstantinos

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. König Bernhard

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

USUBA Toshimichi 薄葉 季路

薄葉 季路 ウスバ トシミチ

Research Projects

Research Products

Co-Researchers

Set theoretic multiverse and large cardinal axiomsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On combinatiral problems using P_kappa lambda structuresPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 数学における証明と真理―様相論理と数学基礎論―2016

Author(s)

Total Pages

Publisher

Data Source

[Book] 数学における証明と真理2016

Author(s)

Total Pages

Publisher

Data Source

[Book] 数学における証明と真理―様相論理と数学基礎論―2016

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] The coloring number and the list-chromatic number of uncountable graphs2023

Author(s)

Journal Title

USUBA Toshimichi 薄葉季路

薄葉季路ウスバトシミチ