Related papers: Sigma-continuity with closed witnesses

We define a special function related to the digamma function and use it to evaluate in closed form various series involving binomial coefficients and harmonic numbers.

We study the coupling constant renormalization of gauge theories with an infinite multiplet of fermions, using the zeta function method to make sense of the infinite sums over fermions. If the gauge group K is the maximal compact subgroup…

We consider a variant expression to regularize the Euler product representation of the zeta functions, where we mainly apply to that of the Riemann zeta function in this paper. The regularization itself is identical to that of the zeta…

We provide an infinite family of sofic one-relator groups that are not residually solvable nor residually finite. The proof is essentially different from the one in [1], as it does not require just Magnus' decompositions.

We approximate functionals depending on the gradient of $u$ and on the behaviour of $u$ near the discontinuity points, by families of non-local functionals where the gradient is replaced by finite differences. We prove pointwise…

Let C(K) be the Banach space of all continuous functions on a given compact space K. We investigate the w*-sequential closure in C(K)* of the set of all finitely supported probabilities on K. We discuss the coincidence of the Baire…

In terms of non-commutative geometry, we show that the $\sigma$--model can be built up by the gauge theory on discrete group $Z_2$. We introduce a constraint in the gauge theory, which lead to the constraint imposed on linear $\sigma$ model…

We study the Baire class one countable colorings, i.e., the countable partitions into $F_\sigma$ sets. Such a partition gives a covering of the diagonal into countably many $F_\sigma$ squares. This leads to the study of countable unions of…

In this note let us give two remarks on proof-theory of PA. First a derivability relation is introduced to bound witnesses for provable $\Sigma_{1}$-formulas in PA. Second Paris-Harrington's proof for their independence result is…

For D an infinite set, k>1 and W the set of k-sets from D, there is a natural closed permutation group G_k which is a non-split extension of \mathbb{Z}_2^W by \Sym(D). We classify the closed subgroups of G_k which project onto \Sym(D)$. The…

This article provides an account of the functorial correspondence between irreducible singular $G$-monopoles on $S^1\times \Sigma$ and $\vec{t}$-stable meromorphic pairs on $\Sigma$. The main theorem of [1] is thus generalized here from…

We construct variants of the Riemann zeta function with convenient properties and make conjectures about their dynamics; some of the conjectures are based on an analogy with the dynamical system of zeta. More specifically, we study the…

Using complex methods combined with Baire's Theorem we show that one-sided extendability, extendability and real analyticity are rare phenomena on various spaces of functions in the topological sense. These considerations led us to…

We prove that if $\sigma \in S_m$ is a pattern of $w \in S_n$, then we can express the Schubert polynomial $\mathfrak{S}_w$ as a monomial times $\mathfrak{S}_\sigma$ (in reindexed variables) plus a polynomial with nonnegative coefficients.…

There are two major generalizations of the standard ordinal analysis: One is Girard's $\Pi^1_2$-proof theory in which dilators are assigned to theories instead of ordinals. The other is Pohlers' generalized ordinal analysis with Spector…

We calculate some infinite sums containing the digamma function in closed-form. These sums are related either to the incomplete beta function or to the Bessel functions. The calculations yield interesting new results as by-products, such as…

We here aim to complete our model-theoretic account of the function field Mordell-Lang conjecture, avoiding appeal to dichotomy theorems for Zariski geometries, where we now consider the general case of semiabelian varieties. The main…

We investigate pseudopowers of singular cardinals, and show that deduce some consequences for cardinal arithmetic. For example, we show that in {\sf ZFC} that…

We generalize Chirka's theorem on the extension of functions holomorphic in a neighbourhood of graph(F)\cup(\partial D\times D) -- where D is the open unit disc and graph(F) denotes the graph of a continuous D-valued function F -- to the…

These are classified by the direction of approximation (from above or below), the set family types (partition or covering) of simple functions, the coefficient signature (non-negative or signed), and cardinal number of terms of simple…