Omitting types algebraically
On gradients of functions definable in o-minimal structures
We prove the o-minimal generalization of the Łojasiewicz inequality , with , in a neighborhood of , where is real analytic at and . We deduce, as in the analytic case, that trajectories of the gradient of a function definable in an o-minimal structure are of uniformly bounded length. We obtain also that the gradient flow gives a retraction onto levels of such functions.
On modelling of large variable systems of higher degree by means of language systems
On models in the alternative set theory
On models with large automorphism groups.
On probability of first order formulas in a given model
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