スポンサーリンク
筑波大学数理物質科学研究科 | 論文
- 24aZF-11 △E-Eカウンターテレスコープを用いた不安定核破砕片運動量分布の測定(実験核物理領域,理論核物理領域合同,不安定核(合同)I,実験核物理領域)
- 27aYD-10 ヨウ素気相ドーピングされたルブレン単結晶の電子スピン共鳴(界面・分子デバイス2,領域7,分子性固体・有機導体)
- 23aSD-3 理研RIBFにおける超伝導RIビームセパレーターBigRIPSの性能評価IV : イオン光学計算(23aSD 複合測定器・加速器,実験核物理領域)
- 23aSD-2 理研RIBFにおける超伝導RIビームセパレーターBigRIPSの性能評価III : 粒子識別(23aSD 複合測定器・加速器,実験核物理領域)
- 23aSD-1 理研RIBFにおける超伝導RIビームセパレーターBigRIPSの性能評価II : ビームライン検出器(23aSD 複合測定器・加速器,実験核物理領域)
- 23aZH-2 理研RIBFにおける超伝導RIビームセパレーター : BigRIPSの性能評価I:イオン光学(不安定核・核モーメント・高スピン・核融合,実験核物理領域)
- Independence in generic structures (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集)
- タイプの排除と順序型(モデル理論における独立概念と次元)
- A Generalization of Morley's Omitting Types Theorem(Mathematical Logic and its Applications)
- 理論の単純性について : n-simplicity に関する考察(自然数の超準モデルにおける1階定義可能性の研究)
- PAのモデルの中で定義可能な非標準モデル(自然数の超準モデルにおける1階定義可能性の研究)
- On the existence of a Morley sequence with a certain property (Generic structures and their applications)
- 有限性を持つ理論について (モデル理論と代数幾何の交流)
- PAPAをもたない理論 (モデル理論と代数幾何の交流)
- 書評 田中一之:数の体系と超準モデル
- Constructing Saturated Quasi-minimal Structures (Model theory via geometric approach)
- 理論の融合について (モデル理論とその応用)
- 最近のモデル理論について
- Large indiscernible sets of a structure(Mathematical Logic and Applications'92)
- Superstableな環と結合律(数学基礎論およびその応用)