Related papers: Computability of the Radon-Nikodym derivative

Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations, and explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all…

Multidimensional contractions of irreducible representations of the Cayley-Klein unitary algebras in the Gel'fand-Zetlin basis are considered. Contracted over different parameters, algebras can turn out to be isomorphic. In this case method…

The TTE computability notion in effective metric spaces is usually defined by using Cauchy representations. Under some weak assumptions, we characterize this notion in a way which avoids using the representations.

We study maximal monotone operators $A : X \rightrightarrows X^*$ whose Fitzpatrick family reduces to a singleton; such operators will be called uniquely representable. We show that every such operator is cyclically monotone (hence,…

We present a simplified and streamlined characterisation of provably total computable functions of the theory ID_1 of non-iterated inductive definitions. The idea of the simplification is to employ the method of operator-controlled…

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 investigate partial functions and computability theory from within a constructive, univalent type theory. The focus is on placing computability into a larger mathematical context, rather than on a complete development of computability…

We study determinantal point processes on $\mathbb{C}$ induced by the reproducing kernels of generalized Fock spaces as well as those on the unit disc $\mathbb{D}$ induced by the reproducing kernels of generalized Bergman spaces. In the…

We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure $\mathcal{M}$ has a decidable presentation if and only if its Borel randomization $\mathcal{M}^{[0,1)}$ has a…

We introduce a numerical radius operator space $(X, \mathcal{W}_n)$. The conditions to be a numerical radius operator space are weaker than the Ruan's axiom for an operator space $(X, \mathcal{O}_n)$. Let $w(\cdot)$ be the numerical radius…

In this paper, we investigate the computability of $\mathcal{G}$-Bernoulli measures, with a particular focus on measures of maximal entropy (MMEs) on coded shift spaces. Coded shifts are natural generalizations of sofic shifts and are…

Let $\mathcal M$ be a factor von Neumann algebra with separable predual and let $T\in \mathcal M$. We call $T$ an irreducible operator (relative to $\mathcal M$) if $W^*(T)$ is an irreducible subfactor of $\mathcal M$, i.e., $W^*(T)'\cap…

In this paper we present a generalization of the Radon-Nikodym theorem proved by Pedersen and Takesaki. Given a normal, semifinite and faithful (n.s.f.) weight $\phi$ on a von Neumann algebra M and a strictly positive operator $\delta$,…

This paper investigates second-order representations in the sense of Kawamura and Cook for spaces of integrable functions that regularly show up in analysis. It builds upon prior work about the space of continuous functions on the unit…

We classify the finite dimensional irreducible representations with integral central character of finite $W$-algebras $U(\mathfrak g,e)$ associated to standard Levi nilpotent orbits in classical Lie algebras of types B and C. This…

Conformal Riemann mapping of the unit disk onto a simply-connected domain $W$ is a central object of study in classical Complex Analysis. The first complete proof of the Riemann Mapping Theorem given by P. Koebe in 1912 is constructive, and…

The present article is devoted to functions from a certain subclass of non-differentiable functions. The arguments and values of considered functions represented by the s-adic representation or the nega-s-adic representation of real…

Using the $\mathbb{R}((X))$-measure, we define and study certain $\mathbb{C}((X))$-valued functions on $\mathrm{GL}_n(F)$ for $F$ a two-dimensional local field. In particular, we define a convolution product on such suitable functions,…

Exact representations of real numbers such as the signed digit representation or more generally linear fractional representations or the infinite Gray code represent real numbers as infinite streams of digits. In earlier work by the first…

In this paper we will give a categorical proof of the Radon-Nikodym theorem. We will do this by describing the trivial version of the result on finite probability spaces as a natural isomorphism. We then proceed to Kan extend this…