査読有り 2008年1月 Models omitting given complete types. (English) Notre Dame J. Formal Logic Tsuboi, Akito 巻 49, 号 No. 4, 開始ページ 393-399 終了ページ 記述言語 英語 掲載種別 研究論文(学術雑誌) エクスポート BibTeX RIS