文献
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)