タイプの排除と順序型(モデル理論における独立概念と次元)

• 坪井, 明人

  筑波大学数理物質科学研究科

書誌事項

タイトル別名

• タイプ ノ ハイジョ ト ジュンジョガタ モデル リロン ニ オケル ドクリツ ガイネン ト ジゲン

収録刊行物

• 数理解析研究所講究録

  数理解析研究所講究録 1555 73-74, 2007-05

  京都大学数理解析研究所

キーワード

• MSC: 03C07
• 03C64

詳細情報

• CRID: 1050001201937767424
• NII論文ID: 110006273711
• NII書誌ID: AN00061013
• ISSN: 18802818
• HANDLE: 2433/80984
• 本文言語コード: ja
• 資料種別: departmental bulletin paper
• データソース種別:
  • IRDB
  • CiNii Articles