書誌情報 | ファイル |
表紙・目次 (2018-08) 数理解析研究所講究録, 2084
| |
Every strongly definable $C^{r}G$ vector bundle admits a unique strongly definable $C^{infty}G$ vector bundle structure (Model theoretic aspects of the notion of independence and dimension) Kawakami, Tomohiro (2018-08) 数理解析研究所講究録, 2084: 1-6
| |
A survey of undecidability problems of rings of totally real algebraic integers (Model theoretic aspects of the notion of independence and dimension) Fukuzaki, Kenji (2018-08) 数理解析研究所講究録, 2084: 7-9
| |
On small theories with a special type (Model theoretic aspects of the notion of independence and dimension) Ikeda, Koichiro (2018-08) 数理解析研究所講究録, 2084: 10-20
| |
Formal Proofs of Theorems of Programs with an SMT Solver (Model theoretic aspects of the notion of independence and dimension) Komatsu, Shusei; Baudelet, Geoffrey; Okamoto, Keishi (2018-08) 数理解析研究所講究録, 2084: 21-26
| |
A Proof of Hales-Jewett Theorem using a Non-Standard Method (Model theoretic aspects of the notion of independence and dimension) Tsuboi, Akito (2018-08) 数理解析研究所講究録, 2084: 27-28
| |
MODEL COMPLETENESS OF THE THEORY OF HRUSHOVSKI'S PSEUDOPLANE ASSOCIATED TO 5/8 (Model theoretic aspects of the notion of independence and dimension) Kikyo, Hirotaka (2018-08) 数理解析研究所講究録, 2084: 29-38
| |
On Rieffel's theorem (Model theoretic aspects of the notion of independence and dimension) Itai, Masanori (2018-08) 数理解析研究所講究録, 2084: 39-47
| |
On the speed of hereditary properties of graphs (Model theoretic aspects of the notion of independence and dimension) Takeuchi, Kota (2018-08) 数理解析研究所講究録, 2084: 48-52
| |
Some remark on locally o-minimal structures (Model theoretic aspects of the notion of independence and dimension) Maesono, Hisatomo (2018-08) 数理解析研究所講究録, 2084: 53-59
| |
Generic structures of amalgamation classes for irrationals (Model theoretic aspects of the notion of independence and dimension) Okabe, Shunsuke (2018-08) 数理解析研究所講究録, 2084: 60-62
| |
Definable sets in weakly o-minimal structures with the strong cell decomposition property (Model theoretic aspects of the notion of independence and dimension) Tanaka, Hiroshi (2018-08) 数理解析研究所講究録, 2084: 63-68
| |