ホーム > 坪井 明人/ Tsuboi, Akito
坪井 明人
ALUMNI
2025年7月現在、筑波大学が主たる所属機関ではありません
Tsuboi, Akito
筑波大学 University of Tsukuba
関連記事はまだありません。
オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
-
21.
A Generalization of Morley's Omitting Types Theorem(Mathematical Logic and its Applications)
坪井, 明人
RIMS Kokyuroku 1525: 1 (2006)
-
22.
理論の単純性について : n-simplicity に関する考察(自然数の超準モデルにおける1階定義可能性の研究)
坪井, 明人
RIMS Kokyuroku 1469: 96 (2006)
-
23.
PAのモデルの中で定義可能な非標準モデル(自然数の超準モデルにおける1階定義可能性の研究)
池田, 一磨; 坪井, 明人
RIMS Kokyuroku 1469: 35 (2006)
-
24.
On the existence of a Morley sequence with a certain property (Generic structures and their applications)
坪井, 明人
RIMS Kokyuroku 1390: 46 (2004)
-
25.
Construction of saturated quasi-minimal structure
M Itai; A Tsuboi; K Wakai
JOURNAL OF SYMBOLIC LOGIC 69: 9 (2004)
-
26.
有限性を持つ理論について (モデル理論と代数幾何の交流)
坪井, 明人
RIMS Kokyuroku 1344: 16 (2003)
-
27.
PAPAをもたない理論 (モデル理論と代数幾何の交流)
桔梗, 宏孝; 坪井, 明人; Hrushovski, Ehud
RIMS Kokyuroku 1344: 11 (2003)
-
28.
Expanding the additive reduct of a model of Peano arithmetic
M Murakami; A Tsuboi
MATHEMATICAL LOGIC QUARTERLY 49: 363 (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 (2003) Semantic Scholar
-
31.
Constructing Saturated Quasi-minimal Structures (幾何的モデル理論の研究 研究集会報告集)
坪井, 明人
RIMS Kokyuroku 1283: 33 (2002)
-
32.
Definability of initial segments
Saharon Shelah; Akito Tsuboi
Notre Dame Journal of Formal Logic 43: 65 (2002) Semantic Scholar
-
33.
理論の融合について (モデル理論とその応用)
坪井, 明人
RIMS Kokyuroku 1213: 34 (2001)
-
34.
Random amalgamation of simple theories
A Tsuboi
MATHEMATICAL LOGIC QUARTERLY 47: 45 (2001)
-
35.
On theories having three countable models
K Ikeda; A Pillay; A Tsuboi
MATHEMATICAL LOGIC QUARTERLY 44: 161 (1998)
-
36.
Linear decomposition and rank
坪井, 明人
Kobe Journal of Mathematics 15: 67-76 (1998)
-
37.
On interpretability of almost linear orderings
Akito Tsuboi; Kentaro Wakai
Notre Dame Journal of Formal Logic 39: 325 (1998) Semantic Scholar
-
38.
On theories having three countable models
K Ikeda; A Pillay; A Tsuboi
MATHEMATICAL LOGIC QUARTERLY 44: 161 (1998)
-
39.
On recent model theory
坪井, 明人
Sugaku Expositions 10: 93-104 (1997)
-
40.
Model Theory (in Japanese)
坪井, 明人
Kawai-Shuppan. (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日
知財情報はまだありません。
772 total views