-common consequents in Boolean matrices
K vývoju matematiky infinitezimálna a nekonečna
-bounded sets and filters on
K-analytic versus ccm-analytic sets in nonstandard compact complex manifolds
It is shown that in an elementary extension of a compact complex manifold M, the K-analytic sets (where K is the algebraic closure of the underlying real closed field) agree with the ccm-analytic sets if and only if M is essentially saturated. In particular, this is the case for compact Kähler manifolds.
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.
Karp-Miller trees for a branching extension of VASS.
Karp's interpolation theorem for some classes of infinitary languages
Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen.
Kategorizitätsbeweise in der Geometrie
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.
Klasická logika v kontextu svých zobecnění a boj docenta Fialy proti větrným mlýnům
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 δ₃¹.
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.
Kneser’s theorem for upper Banach density
Suppose is a set of non-negative integers with upper Banach density (see definition below) and the upper Banach density of is less than . We characterize the structure of by showing the following: There is a positive integer and a set , which is the union of arithmetic sequences [We call a set of the form an arithmetic sequence of difference and call a set of the form an arithmetic progression of difference . So an arithmetic progression is finite and an arithmetic sequence...
Komplexität von Algorithmen mit Anwendung auf die Analysis.
König's Lemma, the ...-rule and primitive recursive arithmetic.