The Heyting doctrines
The internal and external aspect of logic and set theory in elementary topoi
The lattices of numerations of theories containing Peano's arithmetic
The observational predicate calculus and complexity of computations (Preliminary communication)
Theory of types and data description
Time change of objects and problem of their identification
Types of preference