坪井 明人

Non-expessibility of a class of finite graphs 

RIMS Kokyuroku (数理解析研究所講究録) (No.2119) 9-12 2019年9月  

Infinite Monochromatic Subgraphs (Model theoretic aspects of the notion of independence and dimension : RIMS研究集会報告集) 

数理解析研究所講究録 2002 34-38 2016年7月  

On the existence of indiscernible trees 

ANNALS OF PURE AND APPLIED LOGIC 163(12) 1891-1902 2012年12月  査読有り

Locally o-minimal structures 

JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN 64(3) 783-797 2012年7月  査読有り

Trees and Branching Axioms (Model Theory of Fields and its Applications) 

数理解析研究所講究録 1794 50-54 2012年5月  

Low theories and the number of independent partitions (Model theoretic aspects of the notion of independence and dimension) 

数理解析研究所講究録 1741 52-56 2011年5月  

On Coheir Sequences : Indiscernible Array, Tree and Forest (New developments of independence notions in model theory) 

数理解析研究所講究録 1718 81-91 2010年10月  

On generic automorphisms of a tree structure (New developments of independence notions in model theory) 

数理解析研究所講究録 1718 52-57 2010年10月  

Algebraic types and the number of countable models (Model Theory and It's Application to Algebra) 

数理解析研究所講究録 1708 29-34 2010年8月  

ON GENERIC STRUCTURES WITH A STRONG AMALGAMATION PROPERTY 

JOURNAL OF SYMBOLIC LOGIC 74(3) 721-733 2009年9月  査読有り

A NOTE ON STEINHORN'S OMITTING TYPES THEOREM 

COLLOQUIUM MATHEMATICUM 115(2) 189-194 2009年  査読有り

Generalized amalgamation and n-simplicity 

ANNALS OF PURE AND APPLIED LOGIC 155(2) 97-114 2008年9月  査読有り

Independence in generic structures (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集) 

数理解析研究所講究録 1602 33-36 2008年6月  

A note on stationarity of types over models in simple theories 

MATHEMATICAL LOGIC QUARTERLY 54(6) 625-628 2008年  査読有り

Models omitting given complete types 

Notre Dame Journal of Formal Logic 49(4) 393-399 2008年  査読有り

タイプの排除と順序型(モデル理論における独立概念と次元) 

数理解析研究所講究録 1555 73-74 2007年5月  

Nonstandard models that are definable in models of Peano Arithmetic 

MATHEMATICAL LOGIC QUARTERLY 53(1) 27-37 2007年  査読有り