• Home
  • ordinal definable set

ordinal definable set

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

en-US/ˈɑɹdənəl dɪˈfaɪnəbəl ˈsɛt/
en-GB/ˈɔːdɪnl dɪˈfaɪnəbl ˈsɛt/

Categories:

set