書誌情報 | ファイル |
表紙・目次 (2016-07) 数理解析研究所講究録, 2002
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
The partite construction with forbidden structures (Model theoretic aspects of the notion of independence and dimension) Takeuchi, Kota (2016-07) 数理解析研究所講究録, 2002: 1-3
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
An exposition of a conjecture on Non-dividing formulas in NIP theories (Model theoretic aspects of the notion of independence and dimension) Kestner, Charlotte (2016-07) 数理解析研究所講究録, 2002: 4-8
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
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
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
On Lang-type property and the superstability (Model theoretic aspects of the notion of independence and dimension) Itai, Masanori (2016-07) 数理解析研究所講究録, 2002: 19-24
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
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
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Infinite Monochromatic Subgraphs (Model theoretic aspects of the notion of independence and dimension) Tsuboi, Akito (2016-07) 数理解析研究所講究録, 2002: 34-38
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
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
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
On decomposable universal graphs (Model theoretic aspects of the notion of independence and dimension) Maesono, Hisatomo (2016-07) 数理解析研究所講究録, 2002: 42-47
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
ON mathrm{K}_{f} IN IRRATIONAL CASES (Model theoretic aspects of the notion of independence and dimension) Kikyo, Hirotaka (2016-07) 数理解析研究所講究録, 2002: 48-53
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
A remark on generic structures with the full amalgamation property (Model theoretic aspects of the notion of independence and dimension) Ikeda, Koichiro (2016-07) 数理解析研究所講究録, 2002: 54-60
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
AUTOMORPHISM GROUPS OF GENERIC STRUCTURES : A REVIEW (Model theoretic aspects of the notion of independence and dimension) Ghadernezhad, Zaniar (2016-07) 数理解析研究所講究録, 2002: 61-75
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |