Related papers: Analytic computable structure theory and $L^p$ spa…

We obtain a computable structure of Scott rank omega_1^{CK} (call this ock), and give a general coding procedure that transforms any hyperarithmetical structure A into a computable structure A' such that the rank of A is ock, ock+1, or <…

We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every…

We say that a real-valued function $f$ defined on a positive Borel measure space $(X,\mu)$ is nowhere $q$-integrable if, for each nonvoid open subset $U$ of $X$, the restriction $f|_U$ is not in $L^q(U)$. When $(X,\mu)$ satisfies some…

\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are…

Cohesive powers of computable structures are effective analogs of ultrapowers, where cohesive sets play the role of ultrafilters. Let $\omega$, $\zeta$, and $\eta$ denote the respective order-types of the natural numbers, the integers, and…

We investigate the connection between measure and capacity for the space of nonempty closed subsets of {0,1}*. For any computable measure, a computable capacity T may be defined by letting T(Q) be the measure of the family of closed sets…

We continue the study of computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a…

Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…

Let $G$ be a real Lie group with Lie algebra $\mathfrak g$. Given a unitary representation $\pi$ of $G$, one obtains by differentiation a representation $d\pi$ of $\mathfrak g$ by unbounded, skew-adjoint operators. Representations of…

We investigate which definable separable metric spaces are countable dense homogeneous (CDH). We prove that a Borel CDH space is completely metrizable and give a complete list of zero-dimensional Borel CDH spaces. We also show that for a…

In this short note we prove the result stated in the title; that is, for every $p>0$ there exists an infinite dimensional closed linear subspace of $L_{p}[0,1]$ every nonzero element of which does not belong to $\bigcup\limits_{q>p}…

Let p be a fixed prime. An Abelian p-group is an Abelian group (not necessarily finitely generated) in which every element has for its order some power of p. The countable Abelian p-groups are classified by Ulm's theorem, and Khisamiev…

Given an action of a group $\Gamma$ on a measure space $\Omega$, we provide a sufficient criterion under which two sets $A, B\subseteq \Omega$ are measurably equidecomposable, i.e., $A$ can be partitioned into finitely many measurable…

For an associative algebra $A$ with a simple module $M$ with trivial endomorphisms and trivial annihilator we verify the countable separation property (CSP), i.e. we prove that there exists a list of nonzero elements $a_1, a_2,\ldots$ of…

For $p \in [1, \infty)$, we generalize the concept of classical spectral triples by extending the framework from Hilbert spaces to $L^p$-spaces, and from C*-algebras to $L^p$-operator algebras. In addition, we define an $L^p$-spectral…

We say that a function $f:[0,1]\rightarrow \R$ is \emph{nowhere $L^q$} if, for each nonvoid open subset $U$ of $[0,1]$, the restriction $f|_U$ is not in $L^q(U)$. For a fixed $1 \leq p <\infty$, we will show that the set $$ S_p\doteq {f \in…

Let g be a simple Lie algebra and q transcendental. We consider the category C_P of finite-dimensional representations of the quantum loop algebra Uq(Lg) in which the poles of all l-weights belong to specified finite sets P. Given the data…

The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic…

In one of our previous papers we proved that, for an infinite set A and p\in[1,\infty), the embedded version of the Lipscomb's space L(A) in l^{p}(A), p\in[1,\infty), with the metric induced from l^{p}(A), denoted by {\omega}_{p}^{A}, is…

It is well known that the R, the set of real numbers, is an abstract set, where almost all its elements cannot be described in any finite language. We investigate possible approaches to what might be called an epi-constructionist approach…