This is a preview. Log in through your library . Abstract In this paper we show that some standard topological constructions may be fruitfully used in the theory of closure spaces (see [5], [4]).

This is a preview. Log in through your library . Abstract We characterize the (κ, Λ, < μ)-distributive law in Boolean algebras in terms of cut and choose games $\scr{G}_{<\mu}^{\kappa}(\lambda)$ , ...

Reverse mathematics is a vibrant programme in mathematical logic that investigates the axioms necessary to establish fundamental theorems throughout mathematics. Central to this endeavour are ...

NEW YORK - Ruth Barcan Marcus, a philosopher esteemed for her advances in logic, a traditionally male-dominated subset of a traditionally male-dominated field, died Feb. 19 at her home in New Haven.