On relational selections for complete theories.
On the Embedding of Propositional Models
On The Limits Of The Families Of Lindenbaum Algebras
On the number of generic models
Preservation Theorems for Limits of Structures and Global Sections of Sheaves of Structures.
Reduced Products Of Saturated Intuitionistic Theories
Reduced products of saturated intuitionistic theories.
Scott sentences and a problem of Vaught for mono-uary algebras
Second order forcing, algebraically closed structures, and large cardinals
Set existence principles of Shoenfield, Ackermann, and Powell
Some model theory for monotone quantifiers.
Structures for a logic with additional generalized quantifier
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
Über rekursive Strukturen.