TY - BOOK AU - Baeten J C M TI - Filters and ultrafilters over definable subsets of admissible ordinals U1 - 511.3 PY - 1986/// CY - Amsterdam PB - Centre for Mathematics and Computer Science; 1986 KW - Definable subsets KW - Mathematical logic ER -