集合论

传记, 学者, 数学, 美国, 集合论

亚历山大·阿比安 (Alexander Abian)

亚历山大·阿比安, 数学史, 数理逻辑, 连续统假设, 集合论

可计算性理论, 数学, 计算机科学, 逻辑, 集合论

可计算序数 (Computable Ordinal)

可计算序数, 可计算性, 图灵机, 序数, 集合论

数学, 数学史, 数学基础, 逻辑, 集合论

代码 (集合论) (Code (set theory))

代码, 可数, 同构, 集合, 集合论

数学, 模型论, 递归论, 逻辑, 集合论

可采纳集合 (Admissible set)

KP集合论, 可采纳集合, 模型, 递归, 集合论

哲学, 数学, 计算机科学, 逻辑学, 集合论

构造性集合论 (Constructive set theory)

数学构造主义, 构造性集合论, 计算机科学, 逻辑, 集合论