Buy Me a Coffee at ko-fi.com

Ordinal definable set

a set that can be defined in terms of a finite number of ordinals by a 1st-order formula

Pronunciation
/ˈɔːdɪnəl dɪˈfʌɪnəbl sɛt/
/ˈɔrdnəl dəˈfaɪnəbl sɛt/
Categories
set