Related papers: Knaster and friends II: The C-sequence number
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 introduce the property ``$F$-linked'' of subsets of posets for a given free filter $F$ on the natural numbers, and define the properties ``$\mu$-$F$-linked'' and ``$\theta$-$F$-Knaster'' for posets in a natural way. We show that…
We give an exposition of the compactness of $L(Q^\mathrm{cf})$, for any set $C$ of regular cardinals.
The concept of sequency holds a fundamental significance in signal analysis using Walsh basis functions. In this study, we closely examine the concept of sequency and explore the properties of sequency-complete and sequency-ordered…
We introduce a forcing that adds a $\square(\aleph_2,\aleph_0)$-sequence with countable conditions under CH. Assuming the consistency of a weakly compact cardinal, we can find a forcing extension by our new poset in which both…
For a strongly inacessible cardinal $\kappa$, we investigate the relationships between the following ideals: - the ideal of meager sets in the ${<}\kappa$-box product topology - the ideal of "null" sets in the sense of [Sh:1004]…
We extend to singular cardinals the model-theoretical relation $\lambda \stackrel{\kappa}{\Rightarrow} \mu$ introduced in P. Lipparini, The compactness spectrum of abstract logics, large cardinals and combinatorial principles, Boll. Unione…
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 show how to construct, via forcing, splitting families than are preserved by a certain type of finite support iterations. As an application, we construct a model where 15 classical characteristics of the continuum are pairwise different,…
Many set theorists point to the linearity phenomenon in the hierarchy of consistency strength, by which natural theories tend to be linearly ordered and indeed well ordered by consistency strength. Why should it be linear? In this paper I…
We study the list-chromatic number and the coloring number of graphs, especially uncountable graphs. We show that the coloring number of a graph coincides with its list-chromatic number provided that the diamond principle holds. Under the…
It is shown that for a finite set $A$ of four or more complex numbers, the cardinality of the set $C[A]$ of all cross-ratios generated by quadruples of pair-wise distinct elements of $A$ is $|C[A]|\gg…
Assumed to be undirected, simple, and connected are all of the graphs in this study, and adjacency matrix $A$ serves as the associated matrix. In this paper we show that it is possible to relate a creation sequence for a type of cographs…
We characterize the situation of having many normal measures on a measurable cardinal. We show the plausibility of having many normal measures on each compact cardinal.
It is consistent that \[ \aleph_1 < \mathrm{add}(\mathrm{Null}) < \mathrm{add}(\mathrm{Meager})= \mathfrak{b} < \mathrm{cov}(\mathrm{Null}) < \mathrm{non}(\mathrm{Meager}) < \mathrm{cov}(\mathrm{Meager}) = 2^{\aleph_0}. \] Assuming four…
We give full characterization of the sequences of regular cardinals that may arise as cardinal sequences of locally compact scattered spaces under GCH. The proofs are based on constructions of universal locally compact scattered spaces.
If G is a locally essential subgroup of a compact abelian group K, then: (i) t(G)=w(G)=w(K), where t(G) is the tightness of G; (ii) if G is radial, then K must be metrizable; (iii) G contains a super-sequence S converging to 0 such that…
We introduce a new inner model $C(aa)$ arising from stationary logic. We show that assuming a proper class of Woodin cardinals, or alternatively $MM^{++}$, the regular uncountable cardinals of $V$ are measurable in the inner model $C(aa)$,…
We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible…
We introduce a new compactness principle which we call the gluing property. For a measurable cardinal $\kappa$ and a cardinal $\lambda$, we say that $\kappa$ has the $\lambda$-gluing property if every sequence of $\lambda$-many…