Related papers: Strong meager properties for filters
In [1] the authors showed some basic properties of a pre-order that arose in combinatorial number theory, namely the finite embeddability between sets of natural numbers, and they presented its generalization to ultrafilters, which is…
Let ${\mathcal A}\subset {\mathcal P}(X)$, $\emptyset, X\in {\mathcal A}$, ${\mathcal A}$ being closed under finite intersections. If $\psi={o},\omega,\gamma$, then $\Psi({\mathcal A})$ is the family of those $\psi$-covers ${\mathcal U}$…
Local versions of measurability have been around for a long time. Roughly, one splits the notion of $\mu $-completeness into pieces, and asks for a uniform ultrafilter over $\mu $ satisfying just some piece of $\mu $-completeness. Analogue…
Our main result is that, given a collection $\mathcal{R}$ of meager relations on a Polish space $X$ such that $|\mathcal{R}|\leq\omega$, there exists a dense Baire subspace $F$ of $X$ (equivalently, a nowhere meager subset $F$ of $X$) such…
We characterize sums of normal ultrafilters after the Magidor iteration (product) of Prikry forcings over a discrete set of measurable cardinals. We apply this to show that the weak Ultrapower Axiom is not equivalent to the Ultrapower…
We study a uniform version of the strong diameter two property. In particular, we find a characterisation that does not involve ultrafilters and we use it to provide some examples of spaces with this uniform property that do not follow from…
Henle, Mathias, and Woodin proved that, provided that $\omega\rightarrow(\omega)^{\omega}$ holds in a model $M$ of ZF, then forcing with $([\omega]^{\omega},\subseteq^*)$ over $M$ adds no new sets of ordinals, thus earning the name a…
Let $(S,\cdot)$ be a semigroup and $\mathfrak{m}$ be a $\sigma$-algebra on $S$. We say $(S,\cdot,\mathfrak{m})$ is a measurable semigroup if $\pi:S\times S\longrightarrow S$ by $\pi(x,y)=x\cdot y$ is a measurable function. In this paper ,…
We identify the perverse filtration of a Lagrangian fibration with the monodromy weight filtration of a maximally unipotent degeneration of compact hyper-K\"ahler manifolds.
This paper studies how well computable functions can be approximated by their Fourier series. To this end, we equip the space of Lp-computable functions (computable Lebesgue integrable functions) with a size notion, by introducing…
Strong functors and monads are ubiquitous in Computer Science. More recently, comonads have demonstrated their use in structuring context-dependent notions of computation. However, the dualisation of ``being strong'' property passed somehow…
We study the Mathias--Prikry and the Laver type forcings associated with filters and coideals. We isolate a crucial combinatorial property of Mathias reals, and prove that Mathias--Prikry forcings with summable ideals are all mutually…
Imposing a strong condition on the linear order of shellable complexes, we introduce strong shellability. Basic properties, including the existence of dimension-decreasing strong shelling orders, are developed with respect to nonpure…
The Raisonnier Filter is a combinatorial object isolated by Jean Raisonnier in order to simplify Shelah's proof that if all $\boldsymbol{\Sigma}^1_3$ sets are Lebesgue-measurable then there is an inner model with an inaccessible cardinal.…
A {\it weak selection} on $\mathbb{R}$ is a function $f: [\mathbb{R}]^2 \to \mathbb{R}$ such that $f(\{x,y\}) \in \{x,y\}$ for each $\{x,y\} \in [\mathbb{R}]^2$. In this article, we continue with the study (which was initiated in \cite{ag})…
A variety of classes of naturally arising ultrafilters on omega is discussed, and the question is raised whether it is consistent that the classes are empty. Since all the classes contain the P-point ultrafilters, a negative answer would…
We introduce an auxiliary technique, called residual nudging, to the particle filter to enhance its performance in cases that it performs poorly. The main idea of residual nudging is to monitor, and if necessary, adjust the residual norm of…
We discuss some notions of compactness and convergence relative to a specified family F of subsets of some topological space X. The two most interesting particular cases of our construction appear to be the following ones. (1) The case in…
The "significance filter" refers to focusing exclusively on statistically significant results. Since frequentist properties such as unbiasedness and coverage are valid only before the data have been observed, there are no guarantees if we…
We continue the exploration of various aspects of divisibility of ultrafilters, adding one more relation to the picture: multiplicative finite embeddability. We show that it lies between divisibility relations $\mid_M$ and…