Related papers: A Topological Tennenbaum Theorem

The present paper consists of two parts. In the first part, we prove a noncommutative analogue of the Riesz(-Markov-Kakutani) theorem on representation of functionals on an algebra of continuous functions by regular measures on the…

We study the isomorphism relation on Borel classes of locally compact Polish metric structures. We prove that isomorphism on such classes is always classifiable by countable structures (equivalently: Borel reducible to graph isomorphism),…

We prove that there exists a countable family of continuous real functions whose graphs together with their inverses cover an uncountable square, i.e. a set of the form $X\times X$, where $X$ is an uncountable subset of the real line. This…

Some notions in mathematics can be considered relative. Relative is a term used to denote when the variation in the position of an observer implies variation in properties or measures on the observed object. We know, from Skolem theorem,…

We find a countable partition $P$ on\textbf{} a Lebesgue space, labeled $\{1,2,3...$\}, for any non-periodic measure preserving transformation $T$ such that $P$ generates $T$ and for the $T,P$ process, if you see an $n$ on time -1 then you…

In this article, we characterize both Lusin's theorem and the existence of Borel representatives via the regularity properties of the measure in general topological measure spaces. As a corollary, we prove that Borel regularity of the…

Mathematicians like Markov and Bishop made an effort to develop constructive mathematics and extended many theorems in classical mathematical analysis. Heine Borel theorem tells us that a closed bounded subset of Euclidean space R is…

We prove in ZF a recursive-theoretic characterization of the Topological Vaught Conjecture by revisiting the fact that orbits in Polish $G$-spaces are Borel sets.

We give a completely constructive solution to Tarski's circle squaring problem. More generally, we prove a Borel version of an equidecomposition theorem due to Laczkovich. If $k \geq 1$ and $A, B \subseteq \mathbb{R}^k$ are bounded Borel…

We want to give a construction as simple as possible of a Borel subset of a product of two Polish spaces. This introduces the notion of potential Wadge class. Among other things, we study the non-potentially closed sets, by proving…

The Minkowski tensors are valuations on the space of convex bodies in ${\mathbb R}^n$ with values in a space of symmetric tensors, having additional covariance and continuity properties. They are extensions of the intrinsic volumes, and as…

In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets $A_{i}$ with effectively summable measures, there are…

The main result of this paper characterizes the continuity from below of monotone functionals on the space $C_b$ of bounded continuous functions on an arbitrary Polish space as lower semicontinuity in the mixed topology. In this particular…

An uncountable $\aleph_1$-free group cannot admit a Polish group topology but an uncountable $\aleph_1$-free abelian group can, as witnessed, for example, by the Baer-Specker group $\mathbb{Z}^\omega$; more strongly, $\mathbb{Z}^\omega$ is…

Let G be an infinite discrete group and bG its Cech-Stone compactification. Using the well known fact that a free ultrafilter on an infinite set is nonmeasurable, we show that for each element p of the remainder bG G, left multiplication…

We investigate the behavior of countable Borel equivalence relations (CBERs) on topological Ramsey spaces. First, we give a simple proof of the fact that every CBER on $[\mathbb{N}]^{\mathbb{N}}$ is hyperfinite on some set of the form…

In a recent paper, Krawczyk proved that there are continuum many axiomatic extensions of global consequence associated with the modal system $E$ that do not admit the local deduction detachment theorem. In algebraic parlance, he showed that…

In this paper, we study polar quotients and \L ojasiewicz exponents of plane curve singularities, which are {\em not necessarily reduced}. We first show that the polar quotients is a topological invariant. We next prove that the \L…

We study the class of Borel equivalence relations under continuous reducibility. In particular , we characterize when a Borel equivalence relation with countable equivalence classes is $\Sigma$ 0 $\xi$ (or $\Pi$ 0 $\xi$). We characterize…

It is a well-known fact in K-theory that the rapidly decreasing matrices of countable size form an associative topological algebra whose set of quasi-invertible elements is open, and such that the quasi-inversion map is continuous. We…