This paper continues the study of the Ramsey-like large cardinals. Ramsey-like cardinals are defined by generalizing the characterization of Ramsey cardinals via the existence of elementary embeddings. Ultrafilters derived from such embeddings are fully iterable and so it is natural to ask about large cardinal notions asserting the existence of ultrafilters allowing only $α$-many iterations for some countable ordinal $α$. Here we study such $α$-iterable cardinals. We show that the $α$-iterable cardinals form a strict hierarchy for $α\leqω_1$, that they are downward absolute to $L$ for $α<ω_1^L$, and that the consistency strength of Schindler's remarkable cardinals is strictly between 1-iterable and 2-iterable cardinals.
In this series of papers, we advance Ramsey theory of colorings over partitions. In this part, a correspondence between anti-Ramsey properties of partitions and chain conditions of the natural forcing notions that homogenize colorings over them is uncovered. At the level of the first uncountable cardinal this gives rise to a duality theorem under Martin's Axiom: a function $p:[ω_1]^2\rightarrowω$ witnesses a weak negative Ramsey relation when $p$ plays the role of a coloring if and only if a positive Ramsey relation holds over $p$ when $p$ plays the role of a partition. The consistency of posi…
We study a pair of weakenings of the classical partition relation $ν\rightarrow (μ)^2_λ$ recently introduced by Bergfalk-Hrušák-Shelah and Bergfalk, respectively. Given an edge-coloring of the complete graph on $ν$-many vertices, these weakenings assert the existence of monochromatic subgraphs exhibiting high degrees of connectedness rather than the existence of complete monochromatic subgraphs asserted by the classical relations. As a result, versions of these weakenings can consistently hold at accessible cardinals where their classical analogues would necessarily fail. We prove some complem…
We study the structured rainbow Ramsey theory at uncountable cardinals. When compared to the usual rainbow Ramsey theory, the variation focuses on finding a rainbow subset that not only is of a certain cardinality but also satisfies certain structural constraints, such as being stationary or closed in its supremum. In the process of dealing with cardinals greater than $ω_1$, we uncover some connections between versions of Chang's Conjectures and instances of rainbow Ramsey partition relations, addressing a question raised in \cite{zhang}.
Building on work of Holy, Lücke and Njegomir \cite{MR3913154} on small embedding characterizations of large cardinals, we use some classical results of Baumgartner (see \cite{MR0384553} and \cite{MR0540770}), to give characterizations of several well-known large cardinal ideals, including the Ramsey ideal, in terms of generic elementary embeddings; we also point out some seemingly inherent differences between small embedding and generic embedding characterizations of subtle cardinals. Additionally, we present a simple and uniform proof which shows that, when $κ$ is weakly compact, many large c…
We provide a model theoretical and tree property like characterization of $λ$-$Π^1_1$-subcompactness and supercompactness. We explore the behaviour of those combinatorial principles at accessible cardinals.
Kunen's proof of the non-existence of Reinhardt cardinals opened up the research on very large cardinals, i.e., hypotheses at the limit of inconsistency. One of these large cardinals, I0, proved to have descriptive-set-theoretical characteristics, similar to those implied by the Axiom of Determinacy: if $λ$ witnesses I0, then there is a topology for $V_{λ+1}$ that is completely metrizable and with weight $λ$ (i.e., it is a $λ$-Polish space), and it turns out that all the subsets of $V_{λ+1}$ in $L(V_{λ+1})$ have the $λ$-Perfect Set Property in such topology. In this paper, we find another gene…
We investigate Ramsey expansions, the coherent extension property for partial isometries (EPPA), and the existence of a stationary independence relation for all classes of metrically homogeneous graphs from Cherlin's catalogue. We show that, with the exception of tree-like graphs, all metric spaces in the catalogue have precompact Ramsey expansions (or lifts) with the expansion property. With two exceptions we can also characterise the existence of a stationary independence relation and coherent EPPA. Our results are a contribution to Nešetřil's classification programme of Ramsey classes and c…
We consider a class K of structures e.g. trees with omega +1 levels, metric spaces and mainly, classes of Abelian groups like the one mentioned in the title and the class of reduced separable (Abelian) p-groups. We say M in K is universal for K if any member N of K of cardinality not bigger than the cardinality of M can be embedded into M . This is a natural, often raised, problem. We try to draw consequences of cardinal arithmetic to non-existence of universal members for such natural classes.
