Aratake Hisashi 荒武永史

… Alternative Names

荒武永史アラタケヒサシ

Less

Researcher Number	10934987
Other IDs	https://orcid.org/0000-0001-5812-4362
Affiliation (Current)	2025: 小山工業高等専門学校, 一般科, 助教
Affiliation (based on the past Project Information) *help	2022 – 2023: 京都大学, 数理解析研究所, 研究員
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related
Keywords	Principal Investigator Feferman-Vaught-Comerの定理 / 公理化可能性 / 局所表示可能圏 / Costeスペクトラム / 層表現 / モデル理論 / 圏論的論理学

Research Projects
(1 results)
Research Products
(6 results)

Sheaf Representations of Algebras and Logic of SheavesPrincipal Investigator
- Principal Investigator
  
  荒武永史
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Kyoto University

All 2024 2023 2022

All Journal Article Presentation

[Journal Article] Limits, Colimits, and Spectra of Modelled Spaces2023
- Author(s)
  Aratake Hisashi
- Journal Title
  
  Journal of Pure and Applied Algebra
  
  Volume: 227 Issue: 12 Pages: 107414-107414
- DOI
  10.1016/j.jpaa.2023.107414
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K13950
[Presentation] Axiomatizability of Models Represented by Sheaves2024
- Author(s)
  荒武永史
- Organizer
  CSCAT2024
- Data Source
  KAKENHI-PROJECT-22K13950
[Presentation] 代数の層表現とスペクトラムについて2023
- Author(s)
  荒武永史
- Organizer
  第8回山陰基礎論と数学およびその周辺の研究集会
- Data Source
  KAKENHI-PROJECT-22K13950
[Presentation] 層表現を持つモデル全体のクラスについて2023
- Author(s)
  荒武永史
- Organizer
  日本数学会2023年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-22K13950
[Presentation] Spectra of Modelled Spaces a la Coste, Revisited2023
- Author(s)
  Hisashi Aratake
- Organizer
  International Category Theory Conference 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K13950
[Presentation] 代数の層表現とスペクトラムについて2022
- Author(s)
  荒武永史
- Organizer
  モデル理論夏の研究集会2022
- Data Source
  KAKENHI-PROJECT-22K13950