荒武永史 Aratake Hisashi

研究者番号	10934987
その他のID	https://orcid.org/0000-0001-5812-4362
所属 (現在)	2025年度: 小山工業高等専門学校, 一般科, 助教
所属 (過去の研究課題情報に基づく) *注記	2022年度 – 2023年度: 京都大学, 数理解析研究所, 研究員
審査区分/研究分野	研究代表者小区分12030:数学基礎関連
キーワード	研究代表者 Feferman-Vaught-Comerの定理 / 公理化可能性 / 局所表示可能圏 / Costeスペクトラム / 層表現 / モデル理論 / 圏論的論理学

研究課題
(1件)
研究成果
(6件)

代数の層表現と層の論理研究代表者
- 研究代表者
  
  荒武永史
- 研究期間 (年度)
  2022 – 2024
- 研究種目
  
  若手研究
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  京都大学

すべて 2024 2023 2022

すべて雑誌論文学会発表

[雑誌論文] Limits, Colimits, and Spectra of Modelled Spaces2023
- 著者名/発表者名
  Aratake Hisashi
- 雑誌名
  
  Journal of Pure and Applied Algebra
  
  巻: 227 号: 12 ページ: 107414-107414
- DOI
  10.1016/j.jpaa.2023.107414
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-22K13950
[学会発表] Axiomatizability of Models Represented by Sheaves2024
- 著者名/発表者名
  荒武永史
- 学会等名
  CSCAT2024
- データソース
  KAKENHI-PROJECT-22K13950
[学会発表] 代数の層表現とスペクトラムについて2023
- 著者名/発表者名
  荒武永史
- 学会等名
  第8回山陰基礎論と数学およびその周辺の研究集会
- データソース
  KAKENHI-PROJECT-22K13950
[学会発表] 層表現を持つモデル全体のクラスについて2023
- 著者名/発表者名
  荒武永史
- 学会等名
  日本数学会2023年度秋季総合分科会
- データソース
  KAKENHI-PROJECT-22K13950
[学会発表] Spectra of Modelled Spaces a la Coste, Revisited2023
- 著者名/発表者名
  Hisashi Aratake
- 学会等名
  International Category Theory Conference 2023
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22K13950
[学会発表] 代数の層表現とスペクトラムについて2022
- 著者名/発表者名
  荒武永史
- 学会等名
  モデル理論夏の研究集会2022
- データソース
  KAKENHI-PROJECT-22K13950