Engineering↗
Filters, Ideals and Ultrafilters
Filters and ideals on a Boolean algebra, principal and free filters, ultrafilters and their three equivalent characterisations, and the role of ultrafilters throughout the rest …
Every page in the KEVOS library tagged filter. 2 pages.
Filters and ideals on a Boolean algebra, principal and free filters, ultrafilters and their three equivalent characterisations, and the role of ultrafilters throughout the rest …
Reduced products over a filter, the congruence they induce, the direct product and ultraproduct as extreme cases, and the Horn sentence preservation theorem.