The search session has expired. Please query the service again.
We construct a model containing a proper class of strongly compact cardinals in which no strongly compact cardinal ĸ is supercompact and in which every strongly compact cardinal has its strong compactness resurrectible.
It is consistent that there is a partial order (P,≤) of size such that every monotone function f:P → P is first order definable in (P,≤).
We present a proof of the Boolean Prime Ideal Theorem in a transitive model of ZF in which the Axiom of Choice does not hold. We omit the argument based on the full Halpern-Läuchli partition theorem and instead we reduce the proof to its elementary case.
We show how to reduce the assumptions in consistency strength used to prove several theorems on universal indestructibility.
In this paper we develop the semifilter approach to the classical Menger and Hurewicz properties and show that the small cardinal is a lower bound of the additivity number of the -ideal generated by Menger subspaces of the Baire space, and under every subset of the real line with the property is Hurewicz, and thus it is consistent with ZFC that the property is preserved by unions of less than subsets of the real line.
Developing the idea of assigning to a large cover of a topological space a corresponding semifilter, we show that every Menger topological space has the property provided , and every space with the property is Hurewicz provided . Combining this with the results proven in cited literature, we settle all questions whether (it is consistent that) the properties and [do not] coincide, where and run over , , , , and .
Using the method of forcing we prove that consistently there is a Banach space (of continuous functions on a totally disconnected compact Hausdorff space) of density κ bigger than the continuum where all operators are multiplications by a continuous function plus a weakly compact operator and which has no infinite-dimensional complemented subspaces of density continuum or smaller. In particular no separable infinite-dimensional subspace has a complemented superspace of density continuum or smaller,...
It is consistent that there exists a graph X of cardinality such that every graph has an edge coloring with colors in which the induced copies of X (if there are any) are totally multicolored (get all possible colors).
We define combinatorial structures which we refer to as flat morasses, and use them to construct a Lindelöf space with points of cardinality , consistent with GCH. The construction reveals, it is hoped, that flat morasses are a tool worth adding to the kit of any user of set theory.
We prove in ZFC that there is a set and a surjective function H: A → ⟨0,1⟩ such that for every null additive set X ⊆ ⟨0,1), is null additive in . This settles in the affirmative a question of T. Bartoszyński.
We study pairs (V, V₁), V ⊆ V₁, of models of ZFC such that adding κ-many Cohen reals over V₁ adds λ-many Cohen reals over V for some λ > κ.
We define two cardinal invariants of the continuum which arise naturally from combinatorially and topologically appealing properties of almost disjoint families of sets of the natural numbers. These are the never soft and never countably paracompact numbers. We show that these cardinals must both be equal to under the effective weak diamond principle , answering questions of da Silva S.G., On the presence of countable paracompactness, normality and property in spaces from almost disjoint families,...
Currently displaying 21 –
40 of
52