-common consequents in Boolean matrices
-bounded sets and filters on
Kappa-Slender Modules
For an arbitrary infinite cardinal , we define classes of -cslender and -tslender modules as well as related classes of -hmodules and initiate a study of these classes.
Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen.
Keeping the covering number of the null ideal small
It is proved that ideal-based forcings with the side condition method of Todorcevic (1984) add no random reals. By applying Judah-Repický's preservation theorem, it is consistent with the covering number of the null ideal being ℵ₁ that there are no S-spaces, every poset of uniform density ℵ₁ adds ℵ₁ Cohen reals, there are only five cofinal types of directed posets of size ℵ₁, and so on. This extends the previous work of Zapletal (2004).
Kelley's specialization of Tychonoff's Theorem is equivalent to the Boolean Prime Ideal Theorem
The principle that "any product of cofinite topologies is compact" is equivalent (without appealing to the Axiom of Choice) to the Boolean Prime Ideal Theorem.
Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH
Starting from large cardinals we construct a pair V₁⊆ V₂ of models of ZFC with the same cardinals and cofinalities such that GCH holds in V₁ and fails everywhere in V₂.
Kinna-Wagner Selection Principles, Axioms of Choice and Multiple Choice.
Klassen von Moduln über Dedekind-Ringen und Satz von Stein-Serre
Kleinberg sequences and partition cardinals below δ₅¹
The author computes the Kleinberg sequences derived from the three different normal ultrafilters on δ₃¹.
Kurepa's Hypothesis and a Problem of Ulam on Families of Measures.
Kurepa's hypothesis and the continuum