We describe the ind- and pro- categories of the category of definable sets, in some first order theory, in terms of points in a sufficiently saturated model.

We find the model completion of the theory modules over ������, where ������ is a finitely generated commutative algebra over a field K. This is done in a context where the field K and the module are represented by sorts in the theory, so that constructible sets associated with a module can be interpreted in this language. The language is expanded by additional sorts for the Grassmanians of all powers of $K^n $ , which are necessary to achieve quantifier elimination. (...) The result turns out to be that the model completion is the theory of a certain class of "big" injective modules. In particular, it is shown that the class of injective modules is itself elementary. We also obtain an explicit description of the types in this theory. (shrink)

This article traces the life of Russian chemist Dmitri Mendeleev from childhood in Siberia, through education and training to become the first formulator of the Periodic Table, the logo of chemistry. His unique contribution is described and analysed; what factors helped him be the first formulator? What did he do after making his most famous discovery? In addition the article peeps into his personal life, his dealings with his family and the authorities. Finally we look at honours he received in (...) later life. (shrink)