Related papers: Hanf number for the strictly stable cases

We show that Kunen's saturated ideal over $\aleph_1$ is not centered. We also evaluate the extent of saturation of Laver's saturated ideal in terms of $(\kappa,\lambda,<\nu)$-saturation.

We give another proof that for every lambda >= beth_omega for every large enough regular kappa < beth_omega we have lambda^{[kappa]}= lambda, dealing with sufficient conditions for replacing beth_omega by aleph_omega. In section 2 we show…

lambda-good frame is for us a parallel of the class of models of a superstable theory. Our main line is to start with lambda-good^+ frame s, categorical in lambda, n-successful for n large enough and try to have parallel of stability theory…

The canonical class in the realm of counting complexity is #P. It is well known that the problem of counting the models of a propositional formula in disjunctive normal form (#DNF) is complete for #P under Turing reductions. On the other…

Let $\mathrm{cof}(\mu)=\mu$ and $\kappa$ be a supercompact cardinal with $\mu<\kappa$. Assume that there is an increasing and continuous sequence of cardinals $\langle\kappa_\xi\mid \xi<\mu\rangle$ with $\kappa_0:=\kappa$ and such that, for…

We study model-theoretic stability and independence in Banach lattices of the form $L_p(X,U,\mu)$, where $1 \leq p < \infty$. We characterize non-dividing using concepts from analysis and show that canonical bases exist as tuples of real…

In this short note we show that if lambda>aleph_1 is regular and lambda is not the successor of a singular cardinal of cofinality aleph_0, and G is a lambda-free abelian group of size lambda, then there is a free group G' subseteq G of size…

We consider the two-cardinal Kurepa Hypothesis $\mathsf{KH}(\kappa,\lambda)$. We observe that if $\kappa\leq\lambda<\mu$ are infinite cardinals then…

We show that the number of types of sequences of tuples of a fixed length can be calculated from the number of 1-types and the length of the sequences. Specifically, if $\kappa \leq \lambda$, then $$\sup_{|A| = \lambda} |S^\kappa(A)| =…

We study feebly compact topologies $\tau$ on the semilattice $\left(\exp_n\lambda,\cap\right)$ such that $\left(\exp_n\lambda,\tau\right)$ is a semitopological semilattice. All compact semilattice $T_1$-topologies on $\exp_n\lambda$ are…

We succeed to say something on the identities of (mu^+, mu) when mu>theta>cf(mu), mu strong limit theta--compact. This hopefully will help to prove the consistency of ``some pair (mu^+,mu) is not compact'', however, this has not been…

This paper continues the study, initiated in the works {MOV} and {MOPV}, of the problem of controlling the maximal singular integral $T^{*}f$ by the singular integral $Tf$. Here $T$ is a smooth homogeneous Calder\'on-Zygmund singular…

We extend the classical notion of solvability to a lambda-calculus equipped with pattern matching. We prove that solvability can be characterized by means of typability and inhabitation in an intersection type system P based on…

Motivated by recent results and questions of D. Raghavan and S. Shelah, we present ZFC theorems on the bounding and various almost disjointness numbers, as well as on reaping and dominating families on uncountable, regular cardinals. We…

Suppose that lambda is the successor of a singular cardinal mu whose cofinality is an uncountable cardinal kappa. We give a sufficient condition that the club filter of lambda concentrating on the points of cofinality kappa is not…

It is well known the concept of the condition number $\kappa(A) = \|A\|\|A^{-1}\|$, where $A$ is a $n \times n$ real or complex matrix and the norm used is the spectral norm. Although it is very common to think in $\kappa(A)$ as "the"…

We prove that for an arbitrary $\kappa \le \frac{1}{3}$ any subset of $\mathbf{F}_p$ avoiding $t$ linear equations with three variables has size less than $O(p/t^\kappa)$. We also find several applications to problems about so--called…

Good frames were suggested in [Sh:h] as the (bare-bones) parallel, in the context of AECs, to superstable (among elementary classes). Here we consider $(\mu,\lambda,\kappa)$-frames as candidates for being (in the context of AECs) the…

We describe some (countably many) classes K^{n,e} of finite graphs and prove that if lambda^{aleph_0}= lambda then every lambda^+-chromatic graph of cardinal lambda^+ contains, for some n, e, all members of K^{n,e} as subgraphs. On the…

We investigate whether the ultrafilter number function $\kappa \mapsto \mathfrak{u}(\kappa)$ on the cardinals is monotone, that is, whether $\mathfrak{u}(\lambda) \le \mathfrak{u}(\kappa)$ holds for all cardinals $\lambda < \kappa$ or not.…