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.
Ово је еквивалентно скуповима дефинисаним као универзалне и егзистенцијалне формуле на језику другог реда аритметике и неким моделима хиперрачунања.