Related papers: Sigma-continuity with closed witnesses

In this paper, the two settings we are concerned with are $\Gamma < \operatorname{SO}(n, 1)$ a Zariski dense Schottky semigroup and $\Gamma < \operatorname{SL}_2(\mathbb C)$ a Zariski dense continued fractions semigroup. In both settings,…

In the present paper we obtain a new homological version of the implicit function theorem and some versions of the Darboux theorem. Such results are proved for continuous maps on topological manifolds. As a consequence, some versions of…

We generalize the phenomenon of continuation from complex anal- ysis to locally operator monotone functions. Along the lines of the egde-of- the-wedge theorem, we prove continuations exist dependent only on geometric features of the domain…

This is a survey on the finite basis problem for varieties of algebraic systems. Our exposition is in two directions: (i) We give numerous examples of varieties which are not finitely based. (ii) We give examples of important varieties with…

We present a new method for proving Correa-Jofr\'e-Thibault theorem that monotonicity of subdifferential implies convexity of the function. This new method is based on barrier functions. Barrier functions help overcome some of the main…

We present a sequent-style proof system for provability logic GL that admits so-called circular proofs. For these proofs, the graph underlying a proof is not a finite tree but is allowed to contain cycles. As an application, we establish…

We prove that, for each non null countable ordinal alpha, there exist some Sigma^0_alpha-complete omega-powers, and some Pi^0_alpha-complete omega-powers, extending previous works on the topological complexity of omega-powers. We prove…

Natural numbers are represented by Grzegorczyk functions. The representation is implicit in the technique of H. Friedman. An iterated base-shift in the representation with subtracting 1 yields a sequence, Grzegorczyk sequence. It is shown…

In this paper, we investigate an example of summation of non-logarithmic singularities of a specific type in a two-dimensional non-linear sigma model. As a result of the study, we obtained an explicit formula, which, upon formal expansion…

Goedel's functional "Dialectica" interpretation can be used to extract functional programs from non-constructive proofs in arithmetic by employing two sorts of higher-order witnessing terms: positive realisers and negative counterexamples.…

We show that a differential version of the classical Chebyshev-Markov-Stieltjes inequalities holds for a broad family of weight functions. Such a differential version appears to be new. Our results apply to weight functions which are…

We study Birkhoff sums over rotations (series of the form $\sum_{r=1}^{N}\phi(r\alpha)$), in which the summed function $\phi$ may be unbounded at the origin. Estimates of these sums have been of significant interest and application in pure…

A sufficient condition for the insertion of a contra-continuous (resp. Baire-one) function between two comparable real-valued functions is given on the topological spaces that L-sets are open (resp. G-delta-sets).

We extend the Gallot-Tanno Theorem to closed pseudo-Riemannian manifolds. It is done by showing that if the cone over a manifold admits a parallel symmetric $(0,2)-$tensor then it is Riemannian. Applications of this result to the existence…

The present paper gives a generalization of cartesian closed categories, called cartesian closed categories with dependence, whose strict version induces categories with families that support 1-, Sigma- and Pi-types in the strict sense.…

We propose a framework to define solutions of ODE systems under a novel condition that goes well beyond the usual continuity condition required in the classical theory of ODEs (Peano's or Picard's theorems). We illustrate our results with…

Siegel-Shidlovskii theory of $E$-functions involves a non-vanishing proof for the determinants attached to the linear forms $D^kR(t)$, derivatives of an auxiliary function $R(t)$. Let a non-zero function $F(t)$ satisfy $m$th order linear…

Let Sp_V(F) be the group of isometries of a symplectic vector space V over a finite field F of odd cardinality. The group Sp_V(F) possesses distinguished representations--- the Weil representations. We know that they are compatible with…

Let X=H\G be a homogeneous spherical variety for a split reductive group G over the integers o of a p-adic field k, and K=G(o) a hyperspecial maximal compact subgroup of G=G(k). We compute eigenfunctions ("spherical functions") on X=X(k)…

The classification of simple biset functors is known, but the evaluation of a simple biset functor at a finite group G may be zero. We investigate various situations where this happens, as well as cases where this does not occur. We also…