Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-9 of 9 (Search time: 0.01 seconds).
  • previous
  • 1
  • next
Item hits:
BibliographyContents
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 
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 
ジェネリック構造の飽和性と安定性 (モデル理論とその代数への応用)
  池田, 宏一郎 (2010-08)
  数理解析研究所講究録, 1708: 35-45
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 
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 
A decomposition theorem in $K_{ex}$ (Model Theory and It's Application to Algebra)
  Itai, Masanori (2010-08)
  数理解析研究所講究録, 1708: 26-28
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 
表紙・目次
   (2010-08)
  数理解析研究所講究録, 1708
file type icon