Related papers: Filter-Laver Measurability

Filter convergence of vector lattice-valued measures is considered, in order to deduce theorems of convergence for their decompositions. First the $\sigma$-additive case is studied, without particular assumptions on the filter; later the…

A property of a filter, a kind of large cardinal property, suffices for the proof in Liu Shelah [LiSh:484] and is proved consistent as required there. A natural property which looks better, not only is not obtained here, but is shown to be…

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…

We continue the research of the relation $\hspace{1mm}\widetilde{\mid}\hspace{1mm}$ on the set $\beta {\mathbb{N}}$ of ultrafilters on ${\mathbb{N}}$, defined as an extension of the divisibility relation. It is a quasiorder, so we see it as…

The Dedekind-Birkhoff theorem for finite-height modular lattices has previously been generalized to complete modular lattices using the theory of regular coverings. In this paper, we investigate regular coverings in lattices of filters and…

We prove that under H\"ormander's type conditions on the coefficients of the unobservable component of a partially observable diffusion process the filtering density is infinitely differentiable and can be represented as the integral of an…

We present a method to iterate finitely splitting lim-sup tree forcings along non-wellfounded linear orders. We apply this method to construct a forcing (without using an inaccessible or amalgamation) that makes all definable sets of reals…

The \emph{Filter Dichotomy} says that every uniform nonmeager filter on the integers is mapped by a finite-to-one function to an ultrafilter. The consistency of this principle was proved by Blass and Laflamme. A function between topological…

We apply ideas from the theory of limits of dense combinatorial structures to study order types, which are combinatorial encodings of finite point sets. Using flag algebras we obtain new numerical results on the Erd\H{o}s problem of finding…

Let $X$ be a measure space with a measure-preserving action $(g,x) \mapsto g \cdot x$ of an abelian group $G$. We consider the problem of understanding the structure of measurable tilings $F \odot A = X$ of $X$ by a measurable tile $A…

We establish a Zador like theorem for $L^r$-optimal vector quantization when the similarity measure is a twice differentiable Bregman divergence of a strictly convex function. On our way we also prove a similar result when the Bregman…

Generalizing results of Temperley, Brooks, Smith, Stone and Tutte and others we describe a natural equivalence between three planar objects: weighted bipartite planar graphs; planar Markov chains; and tilings with convex polygons. This…

We introduce tree dimension and its leveled variant in order to measure the complexity of leaf sets in binary trees. We then provide a tight upper bound on the size of such sets using leveled tree dimension. This, in turn, implies both the…

We obtain a relatively simple criterion for when a forcing has the ${<}\,\delta$-approximation property, generalizing a result of Unger. Afterwards we apply this criterion to construct variants of Mitchell Forcing in order to answer…

We prove the `integrality of Taylor coefficients of mirror maps' conjecture for Greene--Plesser mirror pairs as a natural byproduct of an arithmetic refinement of homological mirror symmetry. We also prove homological mirror symmetry for…

We establish effective convergence rates in the Doeblin-Lenstra law, describing the limiting distribution of approximation coefficients arising from continued fraction convergents of a typical real number. More generally, we prove…

We prove results concerning the behavior of Hodge ideals under restriction to hypersurfaces or fibers of morphisms, and addition. The main tool is the description of restriction functors for mixed Hodge modules by means of the…

Elliptic and parabolic integro-differential model problems are considered in the whole space. By verifying H\"ormander condition, the existence and uniqueness is proved in L_{p}-spaces of functions whose regularity is defined by a scalable,…

We consider a family U of finite universes. The second order quantifier Q_R, means for each u in U quantifying over a set of n(R)-place relations isomorphic to a given relation. We define a natural partial order on such quantifiers called…

We study the complexity of the model checking problem, for fixed model A, over certain fragments L of first-order logic. These are sometimes known as the expression complexities of L. We obtain various complexity classification theorems for…