The lower neighborhoods problem in a space with closure and a finitary theorem (Q646861)

Recall that for a non empty set \(P\), on the family \(B(P)\) of all inclusion ordered subsets of \(P\) the closure operation \('\) can be defined such that for subsets \(A, B\) of \(P\), \(A \subset A'\), \(A'' = A'\), \(A \subset B\) implies \(A' \subset B'\). By a space one means a set \(P\) with a closure operation i.e. \((P,')\). A space whose closed subsets are all possible subalgebras of some universal algebra is called finitary. A family \(S\) of closed classes in a space \((P,')\) is called a lower neighborhood of a set \(X\) if for any set \(Y \in B(P)\) the inclusion \(X \subset Y'\) takes place if and only if the family \(S\) contains no family that includes the set \(Y\). In this paper the author studies conditions under which all finitely generated subsets in a space have finite lower neighborhoods. He also proves the finitary property of such a space. In addition he states the Birkhoff and Frink finitary theorem more precisely.