A. Mostowski’s scientific contributions

... The definitions here are that the boolean algebra B is atomic if every element is the least upper bound of the atoms below it, and it is superatomic if every homomorphic image is atomic. This notion was explored for instance in [2,7], and various equivalent conditions were given for superatomicity. Here we just look at the countable case (since for the most part, that is the context for considering SIP), where one can give an explicit description. ...

Reference:

The small index property for countable superatomic boolean algebras

... Com algum esforço, é possível verificar que esse novo tratamento é equivalente às ideias iniciais. Um tratamento detalhado desse aspecto pode ser encontrado no livro Undecidable theories (TARSKI et al., 1953). ...

Reference:

Estudo comparado do comprometimento ontológico das teorias de classes e conjuntos