Related papers: A metric set theory with a universal set

We study rational functions satisfying summability conditions - a family of weak conditions on the expansion along the critical orbits. Assuming their appropriate versions, we derive many nice properties: There exists a unique, ergodic, and…

In the dimension theory of sets and measures, a recent breakthrough happened due to Hochman, who introduced the exponential separation condition (ESC) and proved the Hausdorff dimension result for invariant sets and measures generated by…

This paper proposes a new method for determining similarity and anomalies between time series, most practically effective in large collections of (likely related) time series, by measuring distances between structural breaks within such a…

This dissertation is a contribution to the project of second-order set theory, which has seen a revival in recent years. The approach is to understand second-order set theory by studying the structure of models of second-order set theories.…

We prove a variational principle for the upper and lower metric mean dimension of level sets \[ \left\{x\in X: \lim_{n\to\infty}\frac{1}{n}\sum_{j=0}^{n-1}\varphi(f^{j}(x))=\alpha\right\} \] associated to continuous potentials $\varphi:X\to…

The paper introduces the class of O-metric spaces, a novel generalization of metric-type spaces, classifying almost all possible metric types into upward and downward O-metrics. We list some topologies arising from O-metrics and discuss…

For a fixed $\theta^2=1/m$, $m \in \mathbb{N}_+$, let $x \in [0, \theta)$ and $[a_1(x) \theta, a_2(x) \theta, \ldots]$ be the $\theta$-expansion of $x$. Our first goal is to extend for $\theta$-expansions the results of Jarnik \cite{J-1928}…

In this article we aim to develop from first principles a theory of sum sets and partial sum sets, which are defined analogously to difference sets and partial difference sets. We obtain non-existence results and characterisations. In…

Let $(M,\scott X) \models \ACA$ be such that $P_\scott X$, the collection of all unbounded sets in $\scott X$, admits a definable complete ultrafilter and let $T$ be a theory extending first order arithmetic coded in $\scott X$ such that…

We introduce and geometrically characterize the notion of uniformly perfect Morse boundary for proper geodesic metric spaces. As a unifying result, we prove that the Morse boundary of any finitely generated, non-elementary group is…

This paper enlarges classical syllogistic logic with assertions having to do with comparisons between the sizes of sets. So it concerns a logical system whose sentences are of the following forms: {\sf All $x$ are $y$} and {\sf Some $x$ are…

In this work we reproduce the characterization of $\Gg^s$-sets from the euclidean setting [J. London Math. Soc. 49:267-280,1994] to more general metric spaces. These sets have Hausdorff dimension at least $s$ and are closed by countable…

We define a pseudometric on the set of all unbounded subsets of a metric space. The Kolmogorov quotient of this pseudometric space is a complete metric space. The definition of the pseudometric is guided by the principle that two unbounded…

The general theory developed by Ben Yaacov for metric structures provides Fra\"iss\'e limits which are approximately ultrahomogeneous. We show here that this result can be strengthened in the case of relational metric structures. We give an…

Fix an integer $r\geq 3$. We consider metric spaces on $n$ points such that the distance between any two points lies in $\{1,..., r\}$. Our main result describes their approximate structure for large $n$. As a consequence, we show that the…

Let $(X, d)$ be a compact metric space, and let $Q \subset X$ be countable. Given functions $R: Q \to \mathbb{R}^+$ and $\phi: \mathbb{R}^+ \to \mathbb{R}^+$, we consider the set $E(Q, R, \phi)$ of points $x \in X$ that ``hit'' the…

A set theory is developed based on the approximations of sets and denoted by AS. In AS the set of all sets exists but the argument for Russell's and Cantor's paradox fail. The Axioms of Separation, Replacement and Foundation are not valid.…

We apply the algebraic theory of infinite classical lattices from Part I to write an axiomatic theory of measurements, based on Mackey's axioms for quantum mechanics. The axioms give a complete theory of measurements in the sense of Haag…

In this paper we shall give a short proof of the result originally obtained by Ashutosh Kumar that for each $A\subset \mathbb{R}$ there exists $B\subset A$ full in $A$ such that no distance between two distinct points from $B$ is rational.…

Order types are a well known abstraction of combinatorial properties of a point set. By Mn\"ev's universality theorem for each semi-algebraic set $V$ there is an order type with a realization space that is \emph{stably equivalent} to $V$.…