Related papers: Shelah Ultrafilters
We use methods from birational geometry to study M. Saito's Hodge filtration on the localization along a hypersurface. This filtration leads to a sequence of ideal sheaves, called Hodge ideals, the first of which is a multiplier ideal. We…
We study the question which Boolean algebras have the property that for every generating set there is an ultrafilter selecting maximal number of its elements. We call it the ultrafilter selection property. For cardinality aleph-one the…
In their recent paper on posets with a pseudocomplementation denoted by * the first and the third author introduced the concept of a *-ideal. This concept is in fact an extension of a similar concept introduced in distributive…
We present a very simple method of obtaining spectacular fractals, using a particular case of a lifting Hele-Shaw cell.
An extension of the divisibility relation on $\mathbb{N}$ to the set $\beta\mathbb{N}$ of ultrafilters on $\mathbb{N}$ was defined and investigated in several papers during the last ten years. Here we make a survey of results obtained so…
The main result of this paper is a partial answer to [math.LO/9909115, Problem 5.5]: a finite iteration of Universal Meager forcing notions adds generic filters for many forcing notions determined by universality parameters. We also give…
This paper is devoted to superlensing using hyperbolic metamaterials: the possibility to image an arbitrary object using hyperbolic metamaterials without imposing any conditions on size of the object and the wave length. To this end, two…
In this paper, we answer a question asked in "A minimal Prikry type forcing for singularizing a measurable cardinal" regarding a Mathias criteria for Tree-Prikry forcing. Also we will investigate Prikry forcing using various filters. For…
We introduce the notion of a tight cofinitary group, which captures forcing indestructibility of maximal cofinitary groups for a long list of partial orders, including Cohen, Sacks, Miller, Miller partition forcing and Shelah's poset for…
We construct a Borel maximal cofinitary group.
The purpose of this paper is to prove necessary and sufficient criteria for a $GL(m|n)$-supermodule to have a good or Weryl filtration. We also introduce the notion of a Steinberg supermodule analogous to the classical notion of Steinberg…
We develop the notion of coherent ultrafilters (extenders without normality or well-foundedness). We then use definable coherent ultraproducts to characterize any extension of a model $M$ in any fragment of $\mathbb{L}_{\infty, \omega}$…
Let I be a sigma-ideal sigma-generated by a projective collection of closed sets. The forcing with I-positive Borel sets is proper and adds a single real r of an almost minimal degree: if s is a real in V[r] then s is Cohen generic over V…
This paper deals with properties of filtrations on vector spaces indexed by partially ordered finitely generated abelian groups, which we call multifiltrations. We discuss the usual properties of filtrations, like exhaustivity and…
The dynamics of the acceleration of ultrathin foil targets by the radiation pressure of superintense, circularly polarized laser pulses is investigated by analytical modeling and particle-in-cell simulations. By addressing self-induced…
We introduce $\textit{Laver ultrafilters}$, namely ultrafilters $\mathcal{U}$ for which the associated Laver forcing $\mathbb{L}_{\mathcal{U}}$ has the Laver property. We give simple combinatorial characterisations of these ultrafilters,…
We prove, in ZFC alone, some new results on regularity and decomposability of ultrafilters. We also list some problems, and furnish applications to topological spaces and to extended logics.
Hyperuniform structures possess the ability to confine and drive light, although their fabrication is extremely challenging. Here we demonstrate that speckle patters obtained by a superposition of randomly arranged sources of Bessel beams…
Let $S$ be a semigroup, let $n\in\mathbb{N}$ be a positive natural number, let $A,B\subseteq S$, let $\mathcal{U},\mathcal{V}\in\beta S$ and let let $\mathcal{F}\subseteq\{f:S^{n}\rightarrow S\}$. We say that $A$ is $\mathcal{F}$-finitely…
We make use of a forcing technique for extending Boolean algebras. The same type of forcing was employed in [BK81], [Kos99], and elsewhere. Using and modifying a lemma of Koszmider, and using CH, we obtain an atomless BA, A such that f(A) =…