Related papers: Infinitary logic and basically disconnected compac…
We study the equivalence classes under $\Delta^1_1$ isomorphism, otherwise effective-Borel isomorphism, between complete separable metric spaces which admit a recursive presentation and we show the existence of strictly increasing and…
Since the discovery of critical mistakes in Rauszer's work on bi-intuitionistic logics, solid foundations for these have progressively been rebuilt. However, the algebraic treatment of these logics has not yet been tended to. We fill this…
We show an alternative construction of the cosimplicial free complete diferential graded Lie algebra $\mathfrak{L}_\bullet=\widehat{\mathbb{L}}(s^{-1}\Delta^\bullet)$ based on a new Lie bracket formulae for Lie polynomials on a general…
We discuss some techniques related to equivariant compactifications of uniform spaces and amenability of topological groups. In particular, we give a new proof of a recent result by Glasner and Weiss describing the universal minimal flow of…
Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This…
We identify isometric isomorphisms of the space of Kurzweil-Henstock integrable functions as bi-absolutely-continuous changes of variable.
We prove that if $I_\ell = [a_\ell,b_\ell)$, $\ell=1, \ldots, L$, are disjoint intervals in $[0,1)$ with the property that the numbers $1, a_1, \ldots, a_L, b_1, \ldots, b_L$ are linearly independent over $\mathbb{Q}$, then there exist…
Classical computations can not capture the essence of infinite computations very well. This paper will focus on a class of infinite computations called convergent infinite computations}. A logic for convergent infinite computations is…
We show that several known results about the algebraic K-theory of tensor products of algebras with the C*-algebra of compact operators in Hilbert space remain valid for tensor products with any properly infinite C*-algebra.
We establish a law of the iterated logarithm (LIL) for the set of real numbers whose $n$-th partial quotient is bigger than $\alpha_n$, where $(\alpha_n)$ is a sequence such that $\sum 1/\alpha_n$ is finite. This set is shown to have…
We observe that the notions of a topological space being extremally disconnected, and of a continuous map of compact Hausdorff spaces being proper, and being surjective proper, can each be defined in terms of the Quillen lifting property…
We exhibit a countably infinite family of simple, separable, nuclear, and mutually non-isomorphic C*-algebras which agree on K-theory and traces. The algebras do not absorb the Jiang-Su algebra Z tensorially, answering a question of N. C.…
In this paper we present some results on the variety of divisible MV-algebras. Any free divisible MV-algebra is an algebra of continuous piecewise linear functions with rational coefficients. Correspondingly, Rational {\L}ukasiewicz logic…
On a compact connected group $G$, consider the infinitesimal generator $-L$ of a central symmetric Gaussian convolution semigroup $(\mu_t)_{t>0}$. We establish several regularity results of the solution to the Poisson equation $LU=F$, both…
The half-open real unit interval (0,1] is closed under the ordinary multiplication and its residuum. The corresponding infinite-valued propositional logic has as its equivalent algebraic semantics the equational class of cancellative hoops.…
We show that, if a simple $C^{*}$-algebra $A$ is topologically finite-dimensional in a suitable sense, then not only $K_{0}(A)$ has certain good properties, but $A$ is even accessible to Elliott's classification program. More precisely, we…
The paper is devoted to generalizations of Cencelj-Dranishnikov theorems relating extension properties of nilpotent CW complexes to its homology groups. Here are the main results of the paper: \par {\bf Theorem}. Suppose $L$ is a nilpotent…
For each $d \in {1,2,3,7,11}$, let $T_d$ be the nearest-integer complex continued fraction map associated with the Euclidean ring $\mathcal{O}*d$, and let $(a_n)$ be its digit sequence. We prove two metric results for this five-system…
Let $X$ be a finite simply connected CW complex of dimension $n$. The loop space homology $H\_*(\Omega X;\mathbb Q)$ is the universal enveloping algebra of a graded Lie algebra $L\_X$ isomorphic with $ pi\_{*-1} (X)\otimes \mathbb Q$. Let…
We study automorphic Lie algebras and their applications to integrable systems. Automorphic Lie algebras are a natural generalisation of celebrated Kac-Moody algebras to the case when the group of automorphisms is not cyclic. They are…