Filters and ultrafilters over definable subsets of admissible ordinals - Baeten J C M (Amsterdam Centre for Mathematics and Computer Science; 1986, 1986)
Keywords: Definable subsets; Mathematical logic