Related papers: Filter-Laver Measurability
Assuming the existence of suitable large cardinals, we show it is consistent that the Provability logic $\mathbf{GL}$ is complete with respect to the filter sequence of normal measures. This result answers a question of Andreas Blass from…
We study measurable spaces equipped with a $\sigma$-ideal of negligible sets. We find conditions under which they admit a localizable locally determined version -- a kind of fiber space that describes locally their directions -- defined by…
Measurability with respect to ideals is tightly connected with absoluteness principles for certain forcing notions. We study a uniformization principle that postulates the existence of a uniformizing function on a large set, relative to a…
We consider ergodic translation-invariant Gibbs measures for the dimer model (i.e. perfect matchings) on the hexagonal lattice. The complement to a dimer configuration is a fully-packed loop configuration: each vertex has degree two. This…
Measure and integral are two closely related, but distinct objects of study. Nonetheless, they are both real-valued lattice valuations: order preserving real-valued functions $\phi$ on a lattice $L$ which are modular, i.e.,…
Several theorems about the equivalence of familiar theories of reverse mathematics with certain well-ordering principles have been proved by recursion-theoretic and combinatorial methods (Friedman, Marcone, Montalban et al.) and with…
Generalizing Keisler's notion of regularity for ultrafilters, Taylor introduced degrees of regularity for ideals and showed that a countably complete nonregular ideal on $\omega_1$ must be somewhere $\omega_1$-dense. We prove a dichotomy…
We prove H\"ormander's type hypoellipticity theorem for stochastic partial differential equations when the coefficients are only measurable with respect to the time variable. The need for such kind of results comes from filtering theory of…
A Hausdorff measure version of W.M. Schmidt's inhomogeneous, linear forms theorem in metric number theory is established. The key ingredient is a `slicing' technique motivated by a standard result in geometric measure theory. In short,…
We show the existence of a measurable selector in Carpenter's Theorem due to Kadison. This solves a problem posed by Jasper and the first author. As an application we obtain a characterization of all possible spectral functions of…
The survey is devoted to the combinatorial and metric theory of filtrations, i.\,e., decreasing sequences of $\sigma$-algebras in measure spaces or decreasing sequences of subalgebras of certain algebras. One of the key notions, that of…
We establish the optimal regularity for the distortion of inverses of mappings of finite distortion with logarithm-iterated style subexponentially integrable distortion, which generalizes the Theorem 1. of [J. Gill, Ann. Acad. Sci. Fenn.…
We introduce the Dichotomy Property, a new property of some languages in Set Computable Theory, in order to explore the expressivity of some languages which are extensions of MLS. By-product we prove undecidability of MLS extended with not…
We prove a lemma, which we call the Order Ideal Lemma, that can be used to demonstrate a wide array of log-concavity and log-convexity results in a combinatorial manner using order ideals in distributive lattices. We use the Order Ideal…
We introduce a modal logic FIL for Feferman interpretability. In this logic both the provability modality and the interpretability modality can come with a label. This label indicates that in the arithmetical interpretation the axiom set of…
We study perturbations of Feller generators under `lower order terms' with measurable coefficients. We investigate which properties of the original semigroup -- such as positivity, conservativeness and the Feller property -- are passed to…
A bi-Heyting algebra validates the G\"odel-Dummett axiom $(p\to q)\vee (q\to p)$ iff the poset of its prime filters is a disjoint union of co-trees (i.e., order duals of trees). Bi-Heyting algebras of this kind are called bi-G\"odel…
We develop the theory of multiresolutions in the context of Hausdorff measure of fractional dimension between 0 and 1. While our fractal wavelet theory has points of similarity that it shares with the standard case of Lebesgue measure on…
Since the works of Haraux and Jaffard we know that rectangular plates may be observed by subregions not satisfying the geometrical control condition. We improve these results by observing only on an arbitrarily short segment inside the…
We investigate the $\sigma$-porosity of certain known ideals of subsets of natural numbers. Porosity is a notion of smallness in metric spaces that is stronger than nowhere density. Analogously, $\sigma$-porosity is a strengthening of…