ホーム > 坪井 明人/ Tsuboi, Akito

坪井 明人

ALUMNI 2024年10月現在、筑波大学が主たる所属機関ではありません

Tsuboi, Akito

筑波大学
University of Tsukuba

オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
  1. 1. Non-expessibility of a class of finite graphs 坪井,明人
      RIMS Kokyuroku (数理解析研究所講究録) 9 - 12 (2019)
  2. 2. Infinite Monochromatic Subgraphs (Model theoretic aspects of the notion of independence and dimension : RIMS研究集会報告集) 坪井, 明人
      RIMS Kokyuroku 2002: 34 - 38 (2016)
  3. 3. Model companions of theories of graphs kota Takeuchi; Yu-ichi Tanaka; Akito Tsuboi
      MATHEMATICAL LOGIC QUARTERLY 61: 236 - 246 (2015) Semantic Scholar
  4. 4. Dividing and Forking --- A Proof of the Equivalence --- Tsuboi,Akito
      RIMS Kokyuroku 1888: 23 - 27 (2014)
  5. 5. On the existence of indiscernible trees Kota Takeuchi; Akito Tsuboi
      ANNALS OF PURE AND APPLIED LOGIC 163: 1891 - 1902 (2012) Semantic Scholar
  6. 6. Locally o-minimal structures Tomohiro Kawakami; Kota Takeuchi; Hiroshi Tanaka; Akito Tsuboi
      JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN 64: 783 - 797 (2012) Semantic Scholar
  7. 7. Trees and Branching Axioms (Model Theory of Fields and its Applications) 坪井, 明人
      RIMS Kokyuroku 1794: 50 - 54 (2012)
  8. 8. Low theories and the number of independent partitions (Model theoretic aspects of the notion of independence and dimension) 坪井, 明人
      RIMS Kokyuroku 1741: 52 - 56 (2011)
  9. 9. On generic automorphisms of a tree structure (New developments of independence notions in model theory) 桔梗, 宏孝; 坪井, 明人
      RIMS Kokyuroku 1718: 52 - 57 (2010)
  10. 10. On Coheir Sequences : Indiscernible Array, Tree and Forest (New developments of independence notions in model theory) 坪井, 明人
      RIMS Kokyuroku 1718: 81 - 91 (2010)
  11. 11. Algebraic types and the number of countable models (Model Theory and It's Application to Algebra) 坪井, 明人
      RIMS Kokyuroku 1708: 29 - 34 (2010)
  12. 12. ON GENERIC STRUCTURES WITH A STRONG AMALGAMATION PROPERTY Koichiro Ikeda; Hirotaka Kikyo; Akito Tsuboi
      JOURNAL OF SYMBOLIC LOGIC 74: 721 - 733 (2009)
  13. 13. A NOTE ON STEINHORN'S OMITTING TYPES THEOREM Akito Tsuboi
      COLLOQUIUM MATHEMATICUM 115: 189 - 194 (2009) Semantic Scholar
  14. 14. On generic structures with a strong amalgamation property. (English) Ikeda, Koichiro; Kikyo, Hirotaka; Tsuboi, Akito
      J. Symb. Log. 74,: 721-733 (2009)
  15. 15. Generalized amalgamation and n-simplicity Byunghan Kim; Alexei S. Kolesnikov; Akito Tsuboi
      ANNALS OF PURE AND APPLIED LOGIC 155: 97 - 114 (2008)
  16. 16. Independence in generic structures (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集) 坪井, 明人
      RIMS Kokyuroku 1602: 33 - 36 (2008)
  17. 17. A note on stationarity of types over models in simple theories Makoto Kobayashi; Akito Tsuboi
      MATHEMATICAL LOGIC QUARTERLY 54: 625 - 628 (2008) Semantic Scholar
  18. 18. Models omitting given complete types Akito Tsuboi
      Notre Dame Journal of Formal Logic 49: 393 - 399 (2008) Semantic Scholar
  19. 19. タイプの排除と順序型(モデル理論における独立概念と次元) 坪井, 明人
      RIMS Kokyuroku 1555: 73 - 74 (2007)
  20. 20. Nonstandard models that are definable in models of Peano Arithmetic Kazuma Ikeda; Akito Tsuboi
      MATHEMATICAL LOGIC QUARTERLY 53: 27 - 37 (2007) Semantic Scholar
1 2 3 4
  1. 1. 集合入門 単行本 – 坪井 明人 (著), 塩谷 真弘 (著), 佐垣 大輔 (著) 坪井,明人
    牧野書店 2019年3月 (ISBN: 443425796X)
  2. 2. 数理論理学の基礎・基本 坪井明人
    牧野書店 2012年3月
  3. 3. ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論 坪井, 明人
    2006年10月
  4. 4. モデルの理論 坪井明人
    河合文化教育研究所 (1997/02) 1997年1月
  1. 1. On the number of independent strict orders 坪井,明人
    2019 RIMS Model Theory Workshop 2019年12月3日
  2. 2. A remark on Ehrenfeucht theories 坪井,明人
    日本数学会秋季総合分科会 2019年9月19日
  3. 3. Compactness arguments for finite structures 坪井,明人
    研究集会：モデル理論夏の学校 2019 2019年9月2日
  4. 4. Compactness and finite structures Tsuboi,Akito
    RIMS Model Theory Workshop 2018 2018年12月10日
  5. 5. Finite combinatorics and compactness Tsuboi,Akito
    北陸先端科学技術大学院大学情報系セミナー 2018年9月5日 招待有り
  6. 6. A proof of Hales-Jewett theorem using a nonstandard method 坪井,明人
    Tegata L4 workshop 2018年3月27日 招待有り
  7. 7. A proof of Hales-Jewett theorem using a nonstandard method 坪井,明人
    Combinatorics and Model Theory Seminar 2018年1月15日 招待有り
  8. 8. On the notion of stability 坪井,明人
    モデル理論夏の学校 2017 2017年9月20日
  9. 9. Graphs and automorphism groups 坪井,明人
    日本数学会秋季総合分科会 2017年9月13日
  10. 10. The number of independent strict orders Tsuboi,Akito
    2017 鹿児島モデル理論研究集会 2017年3月9日
  11. 11. On the number of independent orders Tsuboi,Akito
    2016 RIMS Model Theory Workshop 2016年12月12日
  12. 12. モデル理論入門 Tsuboi,Akito
    基礎論サマースクール2016 2016年9月5日
  13. 13. Infinite Monochromatic Subgraphs Tsuboi,Akito
    RIMS Model Theory Workshop 2015年12月15日

 601 total views