Related papers: Countable real analysis

In this paper we consider a fragment of the first-order theory of the real numbers that includes systems of equations of continuous functions in bounded domains, and for which all functions are computable in the sense that it is possible to…

Let $X_1, X_2,\dots$ be a short-memory linear process of random variables. For $1\leq q<2$, let $\cF$ be a bounded set of real-valued functions on $[0,1]$ with finite $q$-variation. It is proved that…

We prove a negative solution to the analogue of Hilbert's tenth problem for rings of one variable non-Archimedean entire functions in any characteristic. In the positive characteristic case we prove more: the ring of rational integers is…

A subset $A$ of a topological space $X$ is called relatively functionally countable (RFC) in $X$, if for each continuous function $f : X \to \mathbb{R}$ the set $f[A]$ is countable. We prove that all RFC subsets of a product…

We construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S,…

We give a number of formal proofs of theorems from the field of computable analysis. Many of our results specify executable algorithms that work on infinite inputs by means of operating on finite approximations and are proven correct in the…

Let $\ee>0$ and $\fff$ be a family of finite subsets of the Cantor set $\ccc$. Following D. H. Fremlin, we say that $\fff$ is $\ee$-filling over $\ccc$ if $\fff$ is hereditary and for every $F\subseteq\ccc$ finite there exists $G\subseteq…

Functional data that are nonnegative and have a constrained integral can be considered as samples of one-dimensional density functions. Such data are ubiquitous. Due to the inherent constraints, densities do not live in a vector space and,…

Let A be an arbitrary countable set of reals, for example A=Q. Let g be an arbitrary mapping from A into the positive reals, for example g(a)=2^a. We show how a strictly increasing real function f can be constructed such that f'(x)=g(x) for…

For a certain parametrized family of maps on the circle, with critical points and logarithmic singularities where derivatives blow up to infinity, a positive measure set of parameters was constructed in [19], corresponding to maps which…

We show that for any $k\in\omega$, the structure $(H_k,\in)$ of sets that are hereditarily of size at most $k$ is decidable. We provide a transparent complete axiomatization of its theory, a quantifier elimination result, and tight bounds…

For any countable group, and also for any locally compact second countable, compactly generated topological group, G, we show the existence of a "universal" hypercyclic (i.e. topologically transitive) representation on a Hilbert space, in…

We study the category $\textrm{Rep}(Q,\mathbb{F}_1)$ of representations of a quiver $Q$ over "the field with one element", denoted by $\mathbb{F}_1$, and the Hall algebra of $\textrm{Rep}(Q,\mathbb{F}_1)$. Representations of $Q$ over…

In this paper, we shall prove, for any $m\geq 1$, the existence of an uncountable subset of $U$-numbers of type $\leq m$ (which we called the set of {\it $m$-ultra numbers}) for which there exists uncountably many transcendental analytic…

We discuss some examples that illustrate the countability of the positive rational numbers and related sets. Techniques include radix representations, Godel numbering, the fundamental theorem of arithmetic, continued fractions, Egyptian…

In this paper we study expansions of infinite dimensional Hilbert spaces with a unitary representation of a discrete countable group. When the group is finite, we prove the theory of the corresponding expansion, regardless if it is…

For any unitary representation $\rho$ on a finite-dimensional Hilbert space \(V\) with differential \(d\rho : \mathfrak{g} \to \mathfrak{u}(V)\) for the Lie algebra $\mathfrak g$, we consider the Hamiltonian evolution \[ U_X(t) \coloneqq…

A real valued function $f$ defined on a subset $E$ of $\textbf{R}$, the set of real numbers, is statistically upward continuous if it preserves statistically upward half quasi-Cauchy sequences, is statistically downward continuous if it…

Aiming to provide weak as possible axiomatic assumptions in which one can develop basic linear algebra, we give a uniform and integral version of the short propositional proofs for the determinant identities demonstrated over $GF(2)$ in…

Let $\cl{M}$ be a Hilbert module of holomorphic functions over a natural function algebra $\mathcal{A}(\Omega)$, where $\Omega \subseteq \bb{C}^m$ is a bounded domain. Let $\cl{M}_0\subseteq \cl{M}$ be the submodule of functions vanishing…