| 書誌情報 | ファイル |
|---|
表紙・目次
(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
| |
