ordinal definable set (Q384699)
Jump to navigation
Jump to search
a set that can be defined in terms of a finite number of ordinals by a 1st-order formula
- OD
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ordinal definable set |
a set that can be defined in terms of a finite number of ordinals by a 1st-order formula |
|
Statements
0 references
Identifiers
Sitelinks
Wikipedia(4 entries)
- enwiki Ordinal definable set
- jawiki 順序数定義可能集合
- kowiki 순서수 정의 가능 집합
- ptwiki Conjunto ordinal definível