順序数定義可能集合
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/09/01 16:08 UTC 版)
数学の集合論において、集合Sが順序数定義可能(じゅんじょすうていぎかのう、英: ordinal definable)であるとは、非形式的には、 有限個の順序数によって一階述語論理式による定義を用いてされること。順序数定義可能集合はGödel (1965)によって導入された。
- 1 順序数定義可能集合とは
- 2 順序数定義可能集合の概要
- 3 参照
- 順序数定義可能集合のページへのリンク