ordinal definable set
a set that can be defined in terms of a finite number of ordinals by a 1st-order formula
--Agreed Upon Solutions

The discussion does not exist would you like to add the first comment?

anonymous