ホーム > 坪井 明人/ Tsuboi, Akito
坪井 明人
ALUMNI 2024年10月現在、筑波大学が主たる所属機関ではありません
Tsuboi, Akito
筑波大学 University of Tsukuba
関連記事はまだありません。
オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
- 21. A Generalization of Morley's Omitting Types Theorem(Mathematical Logic and its Applications) 坪井, 明人 RIMS Kokyuroku 1525: 1 - 4 (2006)
- 22. 理論の単純性について : n-simplicity に関する考察(自然数の超準モデルにおける1階定義可能性の研究) 坪井, 明人 RIMS Kokyuroku 1469: 96 - 100 (2006)
- 23. PAのモデルの中で定義可能な非標準モデル(自然数の超準モデルにおける1階定義可能性の研究) 池田, 一磨; 坪井, 明人 RIMS Kokyuroku 1469: 35 - 45 (2006)
- 24. On the existence of a Morley sequence with a certain property (Generic structures and their applications) 坪井, 明人 RIMS Kokyuroku 1390: 46 - 48 (2004)
- 25. Construction of saturated quasi-minimal structure M Itai; A Tsuboi; K Wakai JOURNAL OF SYMBOLIC LOGIC 69: 9 - 22 (2004)
- 26. 有限性を持つ理論について (モデル理論と代数幾何の交流) 坪井, 明人 RIMS Kokyuroku 1344: 16 - 25 (2003)
- 27. PAPAをもたない理論 (モデル理論と代数幾何の交流) 桔梗, 宏孝; 坪井, 明人; Hrushovski, Ehud RIMS Kokyuroku 1344: 11 - 15 (2003)
- 28. Expanding the additive reduct of a model of Peano arithmetic M Murakami; A Tsuboi MATHEMATICAL LOGIC QUARTERLY 49: 363 - 368 (2003) Semantic Scholar
- 29. A problem on theories with a finite number of countable models. (English) Tsuboi, Akito Proceedings of the the 7th and 8th Asian logic conference. Proceedings of the ICM 2002 satellite conferences on mathematical logic, Hsi-Tou, Taiwan, June 6--10, 1999 and Chongqing, China, August 29--S 398-408 (2003). (2003)
- 30. Implicit Definability of Subfields Kenji Fukuzaki; Akito Tsuboi Notre Dame Journal of Formal Logic 44: 217 - 225 (2003) Semantic Scholar
- 31. Constructing Saturated Quasi-minimal Structures (幾何的モデル理論の研究 研究集会報告集) 坪井, 明人 RIMS Kokyuroku 1283: 33 - 41 (2002)
- 32. Definability of initial segments Saharon Shelah; Akito Tsuboi Notre Dame Journal of Formal Logic 43: 65 - 73 (2002) Semantic Scholar
- 33. 理論の融合について (モデル理論とその応用) 坪井, 明人 RIMS Kokyuroku 1213: 34 - 38 (2001)
- 34. Random amalgamation of simple theories A Tsuboi MATHEMATICAL LOGIC QUARTERLY 47: 45 - 50 (2001)
- 35. On theories having three countable models K Ikeda; A Pillay; A Tsuboi MATHEMATICAL LOGIC QUARTERLY 44: 161 - 166 (1998)
- 36. On interpretability of almost linear orderings Akito Tsuboi; Kentaro Wakai Notre Dame Journal of Formal Logic 39: 325 - 331 (1998) Semantic Scholar
- 37. On theories having three countable models K Ikeda; A Pillay; A Tsuboi MATHEMATICAL LOGIC QUARTERLY 44: 161 - 166 (1998)
- 38. Linear decomposition and rank 坪井, 明人 Kobe Journal of Mathematics 15: 67-76 (1998)
- 39. On recent model theory 坪井, 明人 Sugaku Expositions 10: 93-104 (1997)
- 40. Amalgamations preserving aleph0-categoricity Anand, Pillay; Akito, Tsuboi The Journal of Symbolic Logic, joint work with Anand Pillay. 62: 4 (1997)
- 1. 集合入門 単行本 – 坪井 明人 (著), 塩谷 真弘 (著), 佐垣 大輔 (著) 坪井,明人 牧野書店 2019年3月 (ISBN: 443425796X)
- 2. 数理論理学の基礎・基本 坪井明人 牧野書店 2012年3月
- 3. ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論 坪井, 明人 2006年10月
- 4. モデルの理論 坪井明人 河合文化教育研究所 (1997/02) 1997年1月
- 1. On the number of independent strict orders 坪井,明人 2019 RIMS Model Theory Workshop 2019年12月3日
- 2. A remark on Ehrenfeucht theories 坪井,明人 日本数学会秋季総合分科会 2019年9月19日
- 3. Compactness arguments for finite structures 坪井,明人 研究集会：モデル理論夏の学校 2019 2019年9月2日
- 4. Compactness and finite structures Tsuboi,Akito RIMS Model Theory Workshop 2018 2018年12月10日
- 5. Finite combinatorics and compactness Tsuboi,Akito 北陸先端科学技術大学院大学情報系セミナー 2018年9月5日 招待有り
- 6. A proof of Hales-Jewett theorem using a nonstandard method 坪井,明人 Tegata L4 workshop 2018年3月27日 招待有り
- 7. A proof of Hales-Jewett theorem using a nonstandard method 坪井,明人 Combinatorics and Model Theory Seminar 2018年1月15日 招待有り
- 8. On the notion of stability 坪井,明人 モデル理論夏の学校 2017 2017年9月20日
- 9. Graphs and automorphism groups 坪井,明人 日本数学会秋季総合分科会 2017年9月13日
- 10. The number of independent strict orders Tsuboi,Akito 2017 鹿児島モデル理論研究集会 2017年3月9日
- 11. On the number of independent orders Tsuboi,Akito 2016 RIMS Model Theory Workshop 2016年12月12日
- 12. モデル理論入門 Tsuboi,Akito 基礎論サマースクール2016 2016年9月5日
- 13. Infinite Monochromatic Subgraphs Tsuboi,Akito RIMS Model Theory Workshop 2015年12月15日
知財情報はまだありません。
604 total views
この研究者の他の情報源
この研究者の情報を共有
