Omitting types algebraically
Page 1
Displaying 1 – 10 of 10
On gradients of functions definable in o-minimal structures
Krzysztof Kurdyka (1998)
Annales de l'institut Fourier
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
Roman Bek, Milan Růžička (1979)
Kybernetika
On models in the alternative set theory
Michal Resl (1979)
Commentationes Mathematicae Universitatis Carolinae
On models with large automorphism groups.
H.-D. Ebbinghaus (1971)
Archiv für mathematische Logik und Grundlagenforschung
On probability of first order formulas in a given model
Jozef Šajda (1979)
Kybernetika
On relational selections for complete theories.
Klaus Kaiser (1978)
Archiv für mathematische Logik und Grundlagenforschung
On the Embedding of Propositional Models
Marica D. Prešić (1980)
Publications de l'Institut Mathématique
On The Limits Of The Families Of Lindenbaum Algebras
Slobodan T. Vujošević (1979)
Publications de l'Institut Mathématique
On the number of generic models
Vincent Lee, Mark Nadel (1975)
Fundamenta Mathematicae
Currently displaying 1 – 10 of 10
Page 1