Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 12.

前
1
2
次

検索結果:

書誌情報	ファイル
ON mathrm{K}_{f} IN IRRATIONAL CASES (Model theoretic aspects of the notion of independence and dimension) Kikyo, Hirotaka (2016-07) 数理解析研究所講究録, 2002: 48-53
AUTOMORPHISM GROUPS OF GENERIC STRUCTURES : A REVIEW (Model theoretic aspects of the notion of independence and dimension) Ghadernezhad, Zaniar (2016-07) 数理解析研究所講究録, 2002: 61-75
On decomposable universal graphs (Model theoretic aspects of the notion of independence and dimension) Maesono, Hisatomo (2016-07) 数理解析研究所講究録, 2002: 42-47
THE 1ST HOMOLOGY GROUP IN MODEL THEORY AS A QUOTIENT GROUP OF THE LASCAR GROUP (Model theoretic aspects of the notion of independence and dimension) Kim, Byunghan (2016-07) 数理解析研究所講究録, 2002: 25-33
表紙・目次 (2016-07) 数理解析研究所講究録, 2002
A Case Study : Meyer's Formulation of a Specification and Theorem Proving with an SMT Solver Z3 (Model theoretic aspects of the notion of independence and dimension) Okamoto, Keishi (2016-07) 数理解析研究所講究録, 2002: 9-18
On Lang-type property and the superstability (Model theoretic aspects of the notion of independence and dimension) Itai, Masanori (2016-07) 数理解析研究所講究録, 2002: 19-24
The partite construction with forbidden structures (Model theoretic aspects of the notion of independence and dimension) Takeuchi, Kota (2016-07) 数理解析研究所講究録, 2002: 1-3
Type-definability of groups generated by a generic set in simple theories (Model theoretic aspects of the notion of independence and dimension) 岡部, 峻典 (2016-07) 数理解析研究所講究録, 2002: 39-41
Infinite Monochromatic Subgraphs (Model theoretic aspects of the notion of independence and dimension) Tsuboi, Akito (2016-07) 数理解析研究所講究録, 2002: 34-38