最新登録資料

39069-39078/243831

Itai, Masanori. On Rieffel's theorem (Model theoretic aspects of the notion of independence and dimension)
Komatsu, Shusei ... [et al]. Formal Proofs of Theorems of Programs with an SMT Solver (Model theoretic aspects of the notion of independence and dimension)
Ikeda, Koichiro. On small theories with a special type (Model theoretic aspects of the notion of independence and dimension)
Tsuboi, Akito. A Proof of Hales-Jewett Theorem using a Non-Standard Method (Model theoretic aspects of the notion of independence and dimension)
Kikyo, Hirotaka. MODEL COMPLETENESS OF THE THEORY OF HRUSHOVSKI'S PSEUDOPLANE ASSOCIATED TO 5/8 (Model theoretic aspects of the notion of independence and dimension)
Fukuzaki, Kenji. A survey of undecidability problems of rings of totally real algebraic integers (Model theoretic aspects of the notion of independence and dimension)
Kawakami, Tomohiro. 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)
. 表紙・目次. 数理解析研究所講究録. 2084. 2018
Sanari, Yasuyuki ... [et al]. Modifying angular and polarization selection rules of high-order harmonics by controlling electron trajectories in k-space
LIU, Ting ... [et al]. How does the use of a foreign language affect team processes and member stress and satisfaction?