文献

J-GLOBAL ID：201202241523910684   整理番号：12A1055236

実現可能トポスにおける可算モデルの数

The number of countable models in realizability toposes

著者 (1件)： ACKERMAN Nathanael Leedom (Univ. California at Berkeley, CA, USA)
資料名： Journal of Pure and Applied Algebra  (Journal of Pure and Applied Algebra)
巻： 216  号： 8-9  ページ： 1994-2013  発行年： 2012年08月 
JST資料番号： A1244A  ISSN： 0022-4049  資料種別： 逐次刊行物 (A)
発行国： オランダ (NLD)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： モデル ,  数