This is equivalent to sets defined by both a universal and existential formula in the language of second order arithmetic and to some models of Hypercomputation.
Αυτό είναι ισοδύναμο με σύνολα που ορίζονται τόσο από την καθολική και την υπαρξιακή φόρμουλα στη γλώσσα της δεύτερης τάξης αριθμητικής και σε ορισμένα μοντέλα της Hypercomputation.