書誌情報 | ファイル |
表紙・目次 (2015-04) 数理解析研究所講究録, 1938
| |
Elementary equivalence of seperably uniruled fields of transcendental degree one (Model theoretic aspects of the notion of independence and dimension) 福崎, 賢治 (2015-04) 数理解析研究所講究録, 1938: 1-3
| |
Near model completeness of generic structures (Model theoretic aspects of the notion of independence and dimension) 池田, 宏一郎 (2015-04) 数理解析研究所講究録, 1938: 4-9
| |
Equivariant definable Tietze extension theorem (Model theoretic aspects of the notion of independence and dimension) 川上, 智博 (2015-04) 数理解析研究所講究録, 1938: 10-14
| |
MODEL COMPLETE GENERIC GRAPHS I (Model theoretic aspects of the notion of independence and dimension) 桔梗, 宏孝 (2015-04) 数理解析研究所講究録, 1938: 15-25
| |
A brief survey of recent results on $NTP_2$ and dense codense predicate expansions (Model theoretic aspects of the notion of independence and dimension) Kim, Hyeungjoon (2015-04) 数理解析研究所講究録, 1938: 26-32
| |
A generalization of the PAC learning in product probability spaces (Model theoretic aspects of the notion of independence and dimension) 小林, 宗広 (2015-04) 数理解析研究所講究録, 1938: 33-37
| |
Some remark on graph decomposition (Model theoretic aspects of the notion of independence and dimension) 前園, 久智 (2015-04) 数理解析研究所講究録, 1938: 38-45
| |
Verifying Correctness of Formal Specifications with an SMT Solver (Model theoretic aspects of the notion of independence and dimension) 岡本, 圭史 (2015-04) 数理解析研究所講究録, 1938: 46-53
| |
On the $PAC_n$ learning (Model theoretic aspects of the notion of independence and dimension) 栗山, 貴之; 竹内, 耕太 (2015-04) 数理解析研究所講究録, 1938: 54-58
| |
Infinitary Method for Finite Structures (Model theoretic aspects of the notion of independence and dimension) 竹内, 耕太; 坪井, 明人 (2015-04) 数理解析研究所講究録, 1938: 59-64
| |
Existentially closed models of some class of differential-difference fields (Model theoretic aspects of the notion of independence and dimension) 柳川, 信 (2015-04) 数理解析研究所講究録, 1938: 65-69
| |
A SURVEY ON SOME RESULTS OF VALUED FIELDS IN RECENT MODEL THEORY (Model theoretic aspects of the notion of independence and dimension) 米田, 郁生 (2015-04) 数理解析研究所講究録, 1938: 70-79
| |