Recursion in total functionals of finite type
A Theory Of Variable Types.
Persistent and invariant formulas for outer extensions
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
Page 1