We show that ω₁-Universally Baire self-justifying systems are fully Universally Baire under the Weak Stationary Reflection Principle for Pairs. This involves analyzing the notion of a weakly captured set of reals, a weakening of the Universal Baire Property.

Let W be an inner model of ZFC. Let κ be a cardinal in V. We say that κ-covering holds between V and W iff for all X ∈ V with X ⊆ ON and V ⊨ |X| < κ, there exists Y ∈ W such that X ⊆ Y ⊆ ON and V ⊨ |Y| < κ. Strong κ-covering holds between V and W iff for every structure M ∈ V for some countable first-order language whose underlying set is some ordinal λ, and every X ∈ V with X ⊆ λ and V ⊨ |X| < κ, there is Y ∈ W such that X ⊆ Y ≺ M and V ⊨ |Y| < κ.   We prove that if κ is V-regular,...

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

 Let I and J be σ-ideals on Polish spaces X and Y, respectively. We say that the pair ⟨I,J⟩ has the Strong Fubini Property (SFP) if for every set D ⊆ X× Y with measurable sections, if all its sections $D_x=y:⟨x,y⟩\in D$ are in J, then the sections $D^y=x:⟨x,y⟩\in D$ are in I for every y outside a set from J (“measurable" means being a member of the σ-algebra of Borel sets modulo sets from the respective σ-ideal). We study the question of which pairs of σ-ideals have the Strong Fubini Property. Since CH excludes this phenomenon completely,...

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...

We develop a theory of sharp measure zero sets that parallels Borel’s strong measure zero, and prove a theorem analogous to Galvin–Mycielski–Solovay theorem, namely that a set of reals has sharp measure zero if and only if it is meager-additive. Some consequences: A subset of $2^{\omega }$ is meager-additive if and only if it is $ℰ$-additive; if $f:2^{\omega }\to 2^{\omega }$ is continuous and $X$ is meager-additive, then so is $f\left(X\right)$.

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...

Some properties of Boolean algebras are characterized through the topological properties of a certain space of countable sequences of ordinals. For this, it is necessary to prove the Ramsey theorems for an arbitrary infinite cardinal. Also, we define continuous mappings on these spaces from vector measures on the algebra.

The second author found a gap in the proof of the main theorem in [J. Mycielski, Fund. Math. 132 (1989), 143-149]. Here we fill that gap and add some remarks about the geometry of the hyperbolic plane ℍ².

We are interested in generalizing part of the theory of ultrafilters on ω to larger cardinals. Here we set the scene for further investigations introducing properties of ultrafilters in strong sense dual to being normal.