Related papers: There may be no Hausdorff ultrafilters

It is consistent with ZF + DC that there exists an ultrafilter $U$ on $\omega$ such that two infinite ultraproducts of finite sets, $\prod A_n / U$ and $\prod B_n / U$, have the same cardinality if and only if $0 < \lim_U |A_n|/|B_n| <…

For every uncountable cardinal $\kappa$ there are $2^\kappa$ nonisomorphic simple AF algebras of density character $\kappa$ and $2^\kappa$ nonisomorphic hyperfinite II$_1$ factors of density character $\kappa$. These estimates are maximal…

All ultrafilters under consideration here are non-principal ultrafilters on the set omega of natural numbers. We are concerned with the possible cofinalities of ultrapowers of omega with respect to such ultrafilters. We show that no…

We study ultrafilters from the perspective of the algebra in the \v{C}ech-Stone compactification of the natural numbers, and idempotent elements therein. The first two results that we prove establish that, if $p$ is a Q-point (resp. a…

In this paper, exact Hausdorff dimension formulas for a class of self-affine attractors generated by affine Iterated Function Systems are derived. We consider systems containing an affine map whose $n$-th iterate is a similarity…

Previous work has shown that the Hausdorff dimension of sofic affine-invariant sets is expressed as a limit involving intricate matrix products. This limit has typically been regarded as incalculable. However, in several highly non-trivial…

We study the definability of ultrafilter bases on $\omega$ in the sense of descriptive set theory. As a main result we show that there is no coanalytic base for a Ramsey ultrafilter, while in $L$ we can construct $\Pi^1_1$ P-point and…

It was recently shown that arbitrary first-order models canonically extend to models (of the same language) consisting of ultrafilters. The main precursor of this construction was the extension of semigroups to semigroups of ultrafilters, a…

Consider a finite Blaschke product $f$ with $f(0) = 0$ which is not a rotation and denote by $f^n$ its $n$-th iterate. Given a sequence $\{a_n\}$ of complex numbers, consider the series $F(z) = \sum_n a_n f^n(z).$ We show that for any $w…

We extend theories of reverse mathematics by a non-principal ultrafilter, and show that these are conservative extensions of the usual theories ACA0, ATR0, and Pi11-Comprehension.

We classify hypersurfaces of rank two of Euclidean space $\R^{n+1}$ that admit genuine isometric deformations in $\R^{n+2}$. That an isometric immersion $\hat f\colon\,M^n\to\R^{n+2}$ is a genuine isometric deformation of a hypersurface…

Hausdorff and box dimension are two familiar notions of fractal dimension. Box dimension can be larger than Hausdorff dimension, because in the definition of box dimension, all sets in the cover have the same diameter, but for Hausdorff…

We construct a $\kappa-$complete ultrafilter $W$ over $\kappa$ such that $\neg$Gal$(\kappa, W, \kappa^+)$ and Gal$(\kappa, W, \kappa^{++})$. This answers a question of T. Benhamou and G. Goldberg.

We give explicit formulas for the Hodge filtration on mixed Hodge modules associated with certain hypersurfaces.

Various methods have been proposed for the nonlinear filtering problem, including the extended Kalman filter (EKF), iterated extended Kalman filter (IEKF), unscented Kalman filter (UKF) and iterated unscented Kalman filter (IUKF). In this…

Riemann's non-differentiable function is a celebrated example of a continuous but almost nowhere differentiable function. There is strong numeric evidence that one of its complex versions represents a geometric trajectory in experiments…

We present examples of non-Hausdorff, etale, essentially principal groupoids for which three results, known to hold in the Hausdorff case, fail. These results are: (A) the subalgebra of continuous functions on the unit space is maximal…

Let G be GL_N or SL_N as reductive linear algebraic group over a field k of positive characteristic p. We prove several results that were previously established only when N < 6 or p > 2^N. Let G act rationally on a finitely generated…

The concept of uniform interpolant for a quantifier-free formula from a given formula with a list of symbols, while well-known in the logic literature, has been unknown to the formal methods and automated reasoning community for a long…

It is shown that for every $\e\in (0,1)$, every compact metric space $(X,d)$ has a compact subset $S\subseteq X$ that embeds into an ultrametric space with distortion $O(1/\e)$, and $$\dim_H(S)\ge (1-\e)\dim_H(X),$$ where $\dim_H(\cdot)$…