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