Related papers: Principles of bar induction and continuity on Bair…

We give a short proof, that can be used in an introductory real analysis course, that if a function that is defined on the set of real numbers is continuous on a countable dense set, then it is continuous on an uncountable set. This is done…

Let $\mathcal{L}(X;Y)$ be the space of bounded linear operators from a Banach space $X$ to a Banach space $Y$. Given an operator-valued function $u:\mathbb{R}_{\geq 0}\rightarrow \mathcal{L}(X;Y)$, suppose that every orbit $t\mapsto u(t)x$…

In this paper, first we present a new useful way of formulating probabilistic normed spaces. Then by using this formulation and probabilistic normed space version of the Baire category theorem, we prove four important results of functional…

We consider randomized computation of continuous data in the sense of Computable Analysis. Our first contribution formally confirms that it is no loss of generality to take as sample space the Cantor space of infinite FAIR coin flips. This…

We relax the continuity assumption in Bloom's uniform convergence theorem for Beurling slowly varying functions \phi. We assume that \phi has the Darboux property, and obtain results for \phi measurable or having the Baire property.

In a recent work with Kindler and Wimmer we proved an invariance principle for the slice for low-influence, low-degree functions. Here we provide an alternative proof for general low-degree functions, with no constraints on the influences.…

Lusin's Theorem states that, for every Borel-measurable function $\bf{f}$ on $\mathbb R$ and every $\epsilon>0$, there exists a continuous function $\bf{g}$ on $\mathbb R$ which is equal to $\bf{f}$ except on a set of measure $<\epsilon$.…

We show how one may establish proof-theoretic results for constructive Zermelo-Fraenkel set theory, such as the compactness rule for Cantor space and the Bar Induction rule for Baire space, by constructing sheaf models and using their…

In this paper, we study functions of bounded variation on a complete and connected metric space with finite one-dimensional Hausdorff measure. The definition of BV functions on a compact interval based on pointwise variation is extended to…

In this work we study the Ruelle Operator associated to a continuous potential defined on a countable product of a compact metric space. We prove a generalization of Bowen's criterion for the uniqueness of the eigenmeasures. One of the main…

We introduce the notion of a stationary random manifold and develop the basic entropy theory for it. Examples include manifolds admitting a compact quotient under isometries and generic leaves of a compact foliation. We prove that the…

We study closed choice principles for different spaces. Given information about what does not constitute a solution, closed choice determines a solution. We show that with closed choice one can characterize several models of…

We study the continuity of pullback and uniform attractors for non-autonomous dynamical systems with respect to perturbations of a parameter. Consider a family of dynamical systems parameterised by a complete metric space $\Lambda$ such…

In this paper, we show that some fundamental results for smooth mappings (e.g., the Brouwer degree formula, the implicit function and inverse function theorems, the mean value theorem, Sard's theorem, Hadamard's global invertibility…

We prove a structure theorem for multiplicative functions which states that an arbitrary bounded multiplicative function can be decomposed into two terms, one that is approximately periodic and another that has small Gowers uniformity norm…

Brouwer's fixed point theorem from 1911 is a basic result in topology - with a wealth of combinatorial and geometric consequences. In these lecture notes we present some of them, related to the game of HEX and to the piercing of multiple…

In this article, we introduce the notions of sequentially compactness and boundedly compactness in the framework of a newly defined $b_v(s)$-metric space which is a generalization of usual metric spaces and several other abstract spaces. We…

In this paper we study functions with low influences on product probability spaces. The analysis of boolean functions with low influences has become a central problem in discrete Fourier analysis. It is motivated by fundamental questions…

The classical Liouville property says that all bounded harmonic functions in $\mathbb{R}^n$, i.e.\ all bounded functions satisfying $\Delta f = 0$, are constant. In this paper we obtain necessary and sufficient conditions on the symbol of a…

We study spaces that can be mapped onto the Baire space (i.e. the countable power of the countable discrete space) by a continuous quasi-open bijection. We give a characterization of such spaces in terms of Souslin schemes and call these…