相关论文: Measure theory and higher order arithmetic

A comparative analysis of the versions of quantum measure in the area tensor Regge calculus is performed on the simplest configurations of the system. The quantum measure is constructed in such the way that it reduces to the Feynman path…

An alternative mathematics based on qualitative plurality of finiteness is developed to make non-standard mathematics independent of infinite set theory. The vague concept "accessibility" is used coherently within finite set theory whose…

We prove that convex functions of finite order on the real line and subharmonic functions of finite order on finite dimensional real space, bounded from above outside of some set of zero relative Lebesgue density, are bounded from above…

We confirm a conjecture posed by Bergelson, Moreira, and Richter (arXiv:1711.05729), and in particular show that for every probability measure preserving system $(X,\mathscr{B},\mu,T)$, every $k\in \mathbb{N}$, every set $A\in \mathscr{B}$…

Given a Cantor-type subset $\Omega$ of a smooth curve in $\mathbb R^{d+1}$, we construct examples of sets that contain unit line segments with directions from $\Omega$ and exhibit analytical features similar to those of classical Kakeya…

We present a new version of the Friedman-Magidor theorem: for every measurable cardinal $\kappa$ and $\tau\leq\kappa^{++}$, there exists a forcing extension $V\subseteq V[G]$ such that any normal measure $U\in V$ on $\kappa$ has exactly…

We call a function constructible if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions. For any $q > 0$ and…

The weak lower semicontinuity of the functional $$ F(u)=\int_{\Omega}f(x,u,\nabla u)\, dx$$ is a classical topic that was studied thoroughly. It was shown that if the function $f$ is continuous and convex in the last variable, the…

The framework of a new scale invariant analysis on a Cantor set $C\subset $ $% I=[0,1] $, presented originally in {\it S. Raut and D. P. Datta, Fractals, 17, 45-52, (2009)}, is clarified and extended further. For an arbitrarily small…

For $C^0$ generic continuous maps or homeomorphisms on compact Riemannian manifold, we prove that (1) the space of physical-like measures coincides with the set of invariant measures supported on chain recurrent classes, (2) every point in…

We show that for Lebesgue almost all $d$-tuples $(\theta_1,\ldots,\theta_d)$, with $|\theta_j|>1$, any self-affine measure for a homogeneous non-degenerate iterated function system $\{Ax+a_j\}_{j=1}^m$ in ${\mathbb R}^d$, where $A^{-1}$ is…

For a metrizable space $X$ and a finite measure space $(\Omega,\mathfrak{M},\mu)$ let $M_{\mu}(X)$ and $M^f_{\mu}(X)$ be the spaces of all equivalence classes (under the relation of equality almost everywhere mod $\mu$) of…

In important papers on cake-cutting -- one of the key areas in fair division and resource allocation -- the measure-theoretical fundamentals are not fully correctly given. It is not clear (i) which family of sets should be taken for the…

To obtain the highest confidence on the correction of numerical simulation programs implementing the finite element method, one has to formalize the mathematical notions and results that allow to establish the soundness of the method.…

We consider the space $C_{\lambda}$ of all continuous interval maps preserving the Lebesgue measure $\lambda$. A continuous function $f\colon~[0,1]\to \mathbb R$ is called Besicovitch if it does not have any finite or infinite unilateral…

For a positive finite Borel measure $\mu$ compactly supported in the complex plane, the space $\mathcal{P}^2(\mu)$ is the closure of the analytic polynomials in the Lebesgue space $L^2(\mu)$. According to Thomson's famous result, any space…

Let $s\in (0,1)$, and let $F\subset \mathbb{R}$ be a self similar set such that $0 < \dim_H F \leq s$ . We prove that there exists $\delta= \delta(s) >0$ such that if $F$ admits an affine embedding into a homogeneous self similar set $E$…

We present and analyze $F_\sigma$-Mathias forcing, which is similar but tamer than Mathias forcing. In particular, we show that this forcing preserves certain weak subsystems of second-order arithmetic such as $\mathsf{ACA}_0$ and…

We make use of generalized iterations of Jensen forcing to define a cardinal-preserving generic model of ZF for any $n\ge 1$ and each of the following four Choice hypotheses: (1)…

This paper is primarily concerned with assessing a set-theoretical system, $S^*$, for the foundations of category theory suggested by Solomon Feferman. $S^*$ is an extension of NFU, and may be seen as an attempt to accommodate unrestricted…