Related papers: A note on the differences of computably enumerable…
We study the structure of the partial order induced by the definability relation on definitions of truth for the language of arithmetic. Formally, a definition of truth is any sentence $\alpha$ which extends a weak arithmetical theory…
We develop a theory of universal central extensions of Hom-Lie algebras. Classical results of universal central extensions of Lie algebras cannot be completely extended to Hom-Lie algebras setting, because of the composition of two central…
Let $\Gamma\subset \overline{\mathbb Q}^{\times}$ be a finitely generated multiplicative group of algebraic numbers. Let $\delta, \beta\in\overline{\mathbb Q}^\times$ be algebraic numbers with $\beta$ irrational. In this paper, we prove…
We show that every point $x_0\in [0,1]$ carries a representation of a $C^*$-algebra that encodes the orbit structure of the linear mod 1 interval map $f_{\beta,\alpha}(x)=\beta x +\alpha$. Such $C^*$-algebra is generated by partial…
Let ${\bf L}$ be the unit exponential random variable and ${\bf Z}_\alpha$ the standard positive $\alpha$-stable random variable. We prove that $\{(1-\alpha) \alpha^{\gamma_\alpha} {\bf Z}_\alpha^{-\gamma_\alpha}, 0< \alpha <1\}$ is…
We prove a strong dichotomy result for countably-infinite oriented graphs; that is, we prove that for all countably-infinite oriented graphs $G$, either (i) there is a countably-infinite tournament $K$ such that $G\not\subseteq K$, or (ii)…
We show that for each computable ordinal $\alpha>0$ it is possible to find in each Martin-L\"of random $\Delta^0_2$ degree a sequence $R$ of Cantor-Bendixson rank $\alpha$, while ensuring that the sequences that inductively witness $R$'s…
Bell's theorem is reformulated and proved in the pure mathematical terms of automata theory, avoiding any physical or ontological notions. It is stated that no pair of finite probabilistic sequential machines can reproduce in its output the…
To every generalized urn model there exists a finite (Mealy) automaton with identical propositional calculus. The converse is true as well.
We compare a piecewise linear map with constant slope beta>1 and a piecewise linear map with constant slope -beta. These maps are called the positive and negative beta-transformations. We show that for a certain set of beta's, the…
We give some optimal size generating sets for the group generated by shifts and local permutations on the binary full shift. We show that a single generator, namely the fully asynchronous application of the elementary cellular automaton 57…
We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set…
By H\"ormander's $L^2$-method, we study the operator $\alpha \partial^k \bar{\partial}^{k} + \beta \bar{\partial}^k +\gamma \partial^k + c$ for any order $k$ with $\alpha, \beta, \gamma \in \mathbb{R}$ such that $(\alpha, \beta, \gamma)…
In this paper motivated by the celebrated fundamental theorem of algebra and its standard proof utilizing Liouville's Theorem, we prove the fundamental theorem of algebra type results for both commutative and noncommutative polynomials in…
We prove the universality of the $\beta$-ensembles with convex analytic potentials and for any $\beta>0$, i.e. we show that the spacing distributions of log-gases at any inverse temperature $\beta$ coincide with those of the Gaussian…
A copula of continuous random variables $X$ and $Y$ is called an \emph{implicit dependence copula} if there exist functions $\alpha$ and $\beta$ such that $\alpha(X) = \beta(Y)$ almost surely, which is equivalent to $C$ being factorizable…
We show that there is a one-to-one correspondence between compact quantum subgroups of a co-amenable locally compact quantum group $\mathbb{G}$ and certain left invariant C*-subalgebras of $C_0(\mathbb{G})$. We also prove that every compact…
We continue the investigation of analytic spaces from the perspective of computable structure theory. We show that if $p \geq 1$ is a computable real, and if $\Omega$ is a nonzero, non-atomic, and separable measure space, then every…
The goal of this paper is to announce there is a single orbit of the c.e. sets with inclusion, $\E$, such that the question of membership in this orbit is $\Sigma^1_1$-complete. This result and proof have a number of nice corollaries: the…
Given a countable graph, we say a set $A$ of its vertices is \emph{universal} if it contains every countable graph as an induced subgraph, and $A$ is \emph{weakly universal} if it contains every finite graph as an induced subgraph. We show…