Errata to the paper "Generalizing Vaught sentences from ω to strong cofinality ω", Fundamenta Mathematicae 82 (1974), pp. 105-119
Forcing in a general setting
Generalized Ehrenfeucht games
Generalized quantifiers and well orderings.
Generalized ultrapowers.
Generalizing Vaught sentences from ω to strong cofinality ω
Gültigkeitsbegriffe für Gleichungen in partiellen Algebren.
Hanf numbers and well-ordering numbers.
Low cardinality models for a type of infinitary theory
Modelltheorie und Logik.
More on injectivity in locally presentable categories.
Mostowski's collapsing function and the closed unbounded filter
Multirelation et âge 1-extensifs
Nondeterminism and fully abstract models
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