We give an equivalent, but simpler formulation of the axiom SEP, which was introduced in [9] in order to capture some of the combinatorial behaviour of models of set theory obtained by adding Cohen reals to a model of CH. Our formulation shows that many of the consequences of the weak Freese-Nation property of 𝒫(ω) studied in [6] already follow from SEP. We show that it is consistent that SEP holds while 𝒫(ω) fails to have the (ℵ₁,ℵ ₀)-ideal property introduced in [2]. This answers a question...

We investigate two global GCH patterns which are consistent with the existence of a tall cardinal, and also present some related open questions.

We study some limitations and possible occurrences of uniform ultrafilters on ordinals without the axiom of choice. We prove an Easton-like theorem about the possible spectrum of successors of regular cardinals which carry uniform ultrafilters; we also show that this spectrum is not necessarily closed.

We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with certain additional “inner model like” properties. In particular, in this model, the class of Mahlo cardinals reflecting stationary sets is the same as the class of weakly compact cardinals, and every regular Jónsson cardinal is weakly compact. On the other hand, we force and construct a model for the level by level equivalence between strong compactness and supercompactness...

We prove two theorems concerning strong compactness, measurability, and the class of supercompact cardinals. We begin by showing, relative to the appropriate hypotheses, that it is consistent non-trivially for every supercompact cardinal to be the limit of (non-supercompact) strongly compact cardinals. We then show, relative to the existence of a non-trivial (proper or improper) class of supercompact cardinals, that it is possible to have a model with the same class of supercompact cardinals in...

It is shown that measure extension axioms imply various forms of the Fubini theorem for nonmeasurable sets and functions in Radon measure spaces.

Let (FP) abbreviate the statement that ${\int }_0^1\left({\int }_0^{1}fdy\right)dx={\int }_0^1\left({\int }_0^{1}fdx\right)dy$ holds for every bounded function f: [0,1]² → ℝ whenever each of the integrals involved exists. We shall denote by (SFP) the statement that the equality above holds for every bounded function f: [0,1]² → ℝ having measurable vertical and horizontal sections. It follows from well-known results that both of (FP) and (SFP) are independent of the axioms of ZFC. We investigate the logical connections of these statements with several other strong Fubini type properties...

We analyze several “strong meager” properties for filters on the natural numbers between the classical Baire property and a filter being $F_{\sigma }$. Two such properties have been studied by Talagrand and a few more combinatorial ones are investigated. In particular, we define the notion of a P⁺-filter, a generalization of the traditional concept of P-filter, and prove the existence of a non-meager P⁺-filter. Our motivation lies in understanding the structure of filters generated by complements of members...

In §1 we define some properties of ideals by using games. These properties strengthen precipitousness. We call these stronger ideals. In §2 we show some limitations on the existence of such ideals over ${}_{\kappa }\lambda$. We also present a consistency result concerning the existence of such ideals over ${}_{\kappa }\lambda$. In §3 we show that such ideals satisfy stronger normality. We show a cardinal arithmetical consequence of the existence of strongly normal ideals. In § 4 we study some “large cardinal-like” consequences of stronger...

The relations M(κ,λ,μ) → B [resp. B(σ)] meaning that if $A\subset {\left[\kappa \right]}^{\lambda }$ with |A|=κ is μ-almost disjoint then A has property B [resp. has a σ-transversal] had been introduced and studied under GCH in [EH]. Our two main results here say the following: Assume GCH and let ϱ be any regular cardinal with a supercompact [resp. 2-huge] cardinal above ϱ. Then there is a ϱ-closed forcing P such that, in $V^P$, we have both GCH and $M({\varrho }^{(+\varrho +1)},{\varrho }^{+},\varrho )\nrightarrow B$ [resp. $M({\varrho }^{(+\varrho +1)},\lambda ,\varrho )\nrightarrow B\left({\varrho }^{+}\right)$ for all $\lambda \le {\varrho }^{(+\varrho +1)}]$. These show that, consistently, the results of [EH] are sharp. The necessity...