Related papers: Sigma-continuity with closed witnesses

A non-traditional proof of the Gregory-Leibniz series, based on the relationships among the zeta function, Bernoulli coefficients, and the Laurent expansion of the cotangent is given. New series for calculating pi are obtained.

We prove new results on the derivative of the Minkowski question mark function. Some of our theorems are non-improvable.

We consider, and make precise, a certain extension of the Radon-Nikodym derivative operator, to functions which are additive, but not necessarily sigma-additive, on a subset of a given sigma-algebra. We give applications to probability…

We prove some theorems on decomposable continua. In particular, we prove; (i) the property of being a Wilder continuum is not a Whitney reversible property, (ii) inverse limits of D**-continua with surjective monotone upper semi-continuous…

We obtain closed form of some infinite series involving derivatives of an analogue of the Riemann xi function for Dedekind zeta function and nontrivial zeros of Dedekind zeta function assuming the Extended Riemann Hypothesis. Conversely, we…

We show that no total functional can uniformly transform $\Pi_1$ primality into explicit $\Sigma_1$ witnesses without violating normalization in $\mathsf{HA}$. The argument proceeds through three complementary translations: a geometric…

Let H be a product of countably infinite number of copies of an uncountable Polish space X. Let $\Sigma_\xi$ $(\bar {\Sigma}_\xi)$ be the class of Borel sets of additive class \xi for the product of copies of the discrete topology on X (the…

We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our…

We prove that if $X$ is a paracompact space, $Y$ is a metric space and $f:X\to Y$ is a functionally fragmented map, then (i) $f$ is $\sigma$-discrete and functionally $F_\sigma$-measurable; (ii) $f$ is a Baire-one function, if $Y$ is weak…

By reformulating the classical proof as a Baire Category argument, we show that Besicovitch's Theorem in Cantor space is provable in $ACA_0$, and additionally that the witnessing subset is computable from one jump of the original set. We…

The question was asked: Is it possible to express the function \begin{equation} \tag{1.1} h(a)\equiv\,{_4F_3}(a,a,a,a;2a,a+1,a+1;1) \label{question} \end{equation} in closed form? After considerable analysis, the answer appears to be "no",…

We show that countable increasing unions preserve a large family of well-studied covering properties, which are not necessarily sigma-additive. Using this, together with infinite-combinatorial methods and simple forcing theoretic methods,…

We introduce the $\Sigma_1$-definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, (i) the sequence is $\Sigma_1$-definable…

We extend a result about the gauge action on noncommutative solitons by showing that a family of functions can be gauged away to a Gaussian using the quantification condition given in "On a gauge action on sigma model solitons" IDAQP(2018).

Let $(\Sigma_A, \sigma)$ be a subshift of finite type and let $M(x)$ be a continuous function on $\Sigma_A$ taking values in the set of non-negative matrices. We extend the classical scalar pressure function to this new setting and prove…

We introduce methods that allow to derive continuous-time versions of various discrete-time ergodic theorems. We then illustrate these methods by giving simple proofs and refinements of some known results as well as establishing new results…

Following Symanzik we argue that the Schr\"odinger functional in lattice gauge theories without matter fields has a well-defined continuum limit. Due to gauge invariance no extra counter terms are required. The Schr\"odinger functional is,…

We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our…

We show that that a certain class of semi-proper iterations does not add omega-sequences. As a result, starting from suitable large cardinals one can obtain a model in which the Continuum Hypothesis holds and every function from omega_1 to…

We consider a family of continued fraction expansions of any number in the unit closed interval $[0,1]$ whose digits are differences of consecutive non-positive integer powers of an integer $m \geq 2$. For this expansion, we apply the…