Related papers: Piece selection and cardinal arithmetic

We prove that for arbitrary partitions $\mathbf{\lambda} \subseteq \mathbf{\kappa},$ and integers $0\leq c<r\leq n,$ the sequence of Schur polynomials $S_{(\mathbf{\kappa} + k\cdot \mathbf{1}^c)/(\mathbf{\lambda} + k\cdot…

In the context of large cardinals, the classical diamond principle Diamond_kappa is easily strengthened in natural ways. When kappa is a measurable cardinal, for example, one might ask that a Diamond_kappa sequence anticipate every subset…

We investigate states on von Neumann algebras which are not normal but enjoy various forms of infinite additivity, and show that these exist on $B(H)$ if and only if the cardinality of an orthonormal basis of $H$ satisfies various large…

Assuming that there is no inner model with a Woodin cardinal, we obtain a characterization of $\lambda$-tall cardinals in extender models that are iterable. In particular we prove that in such extender models, a cardinal $\kappa$ is a tall…

We look for partition theorems for large subtrees for suitable uncountable trees and colourings. We concentrate on sub-trees of $^{\kappa \ge} 2$ expanded by a well ordering of each level. Unlike earlier works, we do not ask the embedding…

Characteristic earlier results were of the form CON$(2^{\aleph_0} \to [\lambda]^2_{n, 2})$, with $2^{\aleph_0} $ an ex-large cardinal, in the best case the first weakly Mahlo cardinal. Characteristic new results are CON$((2^{\aleph_0} =…

In this paper we produce models $V_1\subseteq V_2$ of set theory such that adding $\kappa$-many Cohen reals to $V_2$ adds $\lambda$-many Cohen reals to $V_1$, for some $\lambda>\kappa$. We deal mainly with the case when $V_1$ and $V_2$ have…

We address a number of problems on Boolean Algebras. For example, we construct, in ZFC, for any BA B, and cardinal kappa BAs B_1,B_2 extending B such that the depth of the free product of B_1,B_2 over B is strictly larger than the depths of…

For a cardinal of the form $\kappa=\beth_\kappa$, Shelah's logic $L^1_\kappa$ has a characterisation as the maximal logic above $\bigcup_{\lambda<\kappa} L_{\lambda, \omega}$ satisfying Strong Undefinability of Well Order (SUDWO). SUDWO is…

We propose developing the theory of consequences of morasses relevant in mathematical applications in the language alternative to the usual one, replacing commonly used structures by families of sets originating with Velleman's neat…

We obtain an array of consistency results concerning trees and stationary reflection at double successors of regular cardinals $\kappa$, updating some classical constructions in the process. This includes models of…

For an arbitrary infinite cardinal $\kappa$, we define classes of coordinatewise $\kappa$-slender and tailwise $\kappa$-slender modules as well as related classes of $h\kappa$-modules and initiate a study of these classes.

We consider compactness characterizations of large cardinals. Based on results of Benda \cite{b-sccomp}, we study compactness for omitting types in various logics. In $\bL_{\kappa, \kappa}$, this allows us to characterize any large cardinal…

We prove that if lambda is a strong limit singular cardinal and kappa a regular uncountable cardinal < lambda, then NS_{kappa lambda}, the non-stationary ideal over P_{kappa} lambda, is nowhere precipitous. We also show that under the same…

We show that in Zermelo-Fraenkel Set Theory without the Axiom of Choice a surjectively modified continuum function $\theta(\kappa)$ can take almost arbitrary values for all infinite cardinals. This choiceless version of Easton's Theorem is…

We discuss the existence of complete accumulation points of sequences in products of topological spaces. Then we collect and generalize many of the results proved in Parts I, II and IV. The present Part VI is complementary to Part V to 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 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…

Assuming the existence of a strong cardinal $\kappa$ and a measurable cardinal above it, we force a generic extension in which $\kappa$ is a singular strong limit cardinal of any prescribed cofinality, and such that the tree property holds…

Much recent work in cardinal characteristics has focused on generalizing results about $\omega$ to uncountable cardinals by studying analogues of classical cardinal characteristics on the generalized Baire and Cantor spaces $\kappa^\kappa$…