創造的集合と生産的集合
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/02/16 15:39 UTC 版)
生産的集合(せいさんてきしゅうごう、英: productive set)と創造的集合(そうぞうてきしゅうごう、英: creative set)とは、自然数の集合の類型であり、数理論理学において重要な応用を持つ。これらはSoare (1987)やRogers (1987)などの数理論理学のテキストにおける標準的なトピックである。
- ^ Soare (1987); Rogers (1987).
- ^ a b Enderton (2010), pp. 79, 80, 120.
- 1 創造的集合と生産的集合とは
- 2 創造的集合と生産的集合の概要
- 3 数理論理学における応用
- 4 歴史
- 5 関連項目
- 創造的集合と生産的集合のページへのリンク