翻訳と辞書 Words near each other ・ Subcontrabass flute ・ Subcontrabass saxophone ・ Subcontrabass tuba ・ Subcontractor ・ Subcontractors Register ・ Subcooling ・ Subcoracoid bursa ・ Subcortical ischemic depression ・ Subcostal ・ Subcostal arteries ・ Subcostal nerve ・ Subcostal plane ・ Subcostal vein ・ Subcostalis muscle ・ Subcouncils of the City of Cape Town ・ Subcountability ・ Subcritical reactor ・ Subcultural theory ・ Subculture ・ Subculture (biology) ・ Subculture (disambiguation) ・ Subcultures in Lithuania ・ Subcutaneous ・ Subcutaneous abscess ・ Subcutaneous emphysema ・ Subcutaneous fat necrosis ・ Subcutaneous fat necrosis of the newborn ・ Subcutaneous granuloma annulare ・ Subcutaneous Implantable Defibrillator (S-ICD) ・ Subcutaneous injection Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Subcountability ： ウィキペディア英語版 Subcountability In constructive mathematics, a collection is subcountable if there exists a partial surjection from the natural numbers onto it. The name derives from the intuitive sense that such a collection is "no bigger" than the counting numbers. The concept is trivial in classical set theory, where a set is subcountable if and only if it is finite or countably infinite. Constructively it is consistent to assert the subcountability of some uncountable collections such as the real numbers. Indeed there are models of the constructive set theory CZF in which ''all'' sets are subcountable〔Rathjen, M. "(Choice principles in constructive and classical set theories )", Proceedings of the Logic Colloquium, 2002〕 and models of IZF in which all sets with apartness relations are subcountable.〔McCarty, J. "(Subcountability under realizability )", Notre Dame Journal of Formal Logic, Vol 27 no 2 April 1986〕 == References == 〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Subcountability」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.