In this paper the Erdos-Rado theorem is generalized to the class of well founded trees.
We prove a strong non-structure theorem for a class of metric structures with an unstable pair of formulae. As a consequence, we show that weak categoricity (that is, categoricity up to isomorphisms and not isometries) implies severa
We deal with some pcf investigations mostly motivated by abelian group theory problems and deal their applications to test problems (we expect reasonably wide applications). We prove almost always the existence of aleph_omega-free abelian groups with trivial dual, i.e. no non-trivial homomorphisms to the integers. This relies on investigation of pcf; more specifically, for this we prove that almost always there are F subseteq lambda^kappa which are quite free and has black boxes. The almost always means that there are strong restrictions on cardinal arithmetic if the universe fails this, the restrictions are everywhere. Also we replace Abelian groups by R-modules, so in some sense our advantage over earlier results becomes clearer.
We prove existence of wide types in a continuous theory expanding a Banach space, and density of minimal wide types among stable types in such a theory. We show that every minimal wide stable type is generically isometric to an l_2 space. We conclude with a proof of the following formulation of Hensons Conjecture: every model of an uncountably categorical theory expanding a Banach space is prime over a spreading model, isometric to the standard basis of a Hilbert space.
A 27 years old and still open problem of Juhasz and van Mill asks whether there exists a cardinal kappa such that every regular dense in itself countably compact space has a dense in itself subset of cardinality at most kappa. We give a negative answer for the analogous question where_regular_ is weakened to_Hausdorff_, and_coutnably compact_ is strengthened to_sequentially compact_.
