The number of countable generic models for finite forcing
The theory of abelian p-groups with the quantifier I is decidable
The theory of differentially closed fields in logics with cardinal quantifiers.
Topological types of fewnomials
Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable
Two notes on formalized topology