コレクションホームページ

1708 モデル理論とその代数への応用   9
(http://hdl.handle.net/2433/169968)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 9 / 9
書誌情報ファイル
表紙・目次
   (2010-08)
  数理解析研究所講究録, 1708
file type icon
Comparing Expressiveness of First-Order Modal $\mu$-calculus and First-Order $\mathrm{CTL}^{\ast}$ (Model Theory and It's Application to Algebra)
  Okamoto, Keishi (2010-08)
  数理解析研究所講究録, 1708: 1-14
file type icon
RELATIVE GEOMETRIC CONFIGURATIONS (Model Theory and It's Application to Algebra)
  BLOSSIER, T., MARTIN-PIZARRO, AMADOR, WAGNER, FRANK O. (2010-08)
  数理解析研究所講究録, 1708: 15-20
file type icon
実閉体の順序極小拡張におけるデファイナブルファイバー束について (モデル理論とその代数への応用)
  川上, 智博 (2010-08)
  数理解析研究所講究録, 1708: 21-25
file type icon
A decomposition theorem in $K_{ex}$ (Model Theory and It's Application to Algebra)
  Itai, Masanori (2010-08)
  数理解析研究所講究録, 1708: 26-28
file type icon
Algebraic types and the number of countable models (Model Theory and It's Application to Algebra)
  Tsuboi, Akito (2010-08)
  数理解析研究所講究録, 1708: 29-34
file type icon
ジェネリック構造の飽和性と安定性 (モデル理論とその代数への応用)
  池田, 宏一郎 (2010-08)
  数理解析研究所講究録, 1708: 35-45
file type icon
On weak notion of $\mathfrak{p}$-dividing (Model Theory and It's Application to Algebra)
  MAESONO, Hisatomo (2010-08)
  数理解析研究所講究録, 1708: 46-49
file type icon
UNDECIDABLE INFINITE TOTALLY REAL EXTENSIONS OF $\mathbb{Q}$ (Model Theory and It's Application to Algebra)
  FUKUZAKI, KENJI (2010-08)
  数理解析研究所講究録, 1708: 50-76
file type icon
文献一覧(目次の昇順ソート): 1 - 9 / 9