Source author record

Riccardo Camerlo

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO Logic in Computer Science

Catalog footprint

Research overview

5works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

The complexity of being monitorable

We study monitorable sets from a topological standpoint. In particular, we use descriptive set theory to describe the complexity of the family of monitorable sets in a countable space $X$ . When $X$ is second countable, we observe that the family of monitorable sets is $Π^0_3$ and determine the exact complexities it can have. In contrast, we show that if $X$ is not second countable then the family of monitorable sets can be much more complex, giving an example where it is $Π^1_1$ -complete.

preprint2020arXiv

Linear orders: when embeddability and epimorphism agree

When a linear order has an order preserving surjection onto each of its suborders we say that it is strongly surjective. We prove that the set of countable strongly surjective linear orders is complete for the class of sets which are the union of an analytic and a coanalytic set. Using hypotheses beyond ZFC, we prove the existence of uncountable strongly surjective orders.

preprint2020arXiv

Polish metric spaces with fixed distance set

We study Polish spaces for which a set of possible distances $A \subseteq \mathbb{R}^+$ is fixed in advance. We determine, depending on the properties of $A$ , the complexity of the collection of all Polish metric spaces with distances in $A$ , obtaining also example of sets in some Wadge classes where not many natural examples are known. Moreover we describe the properties that $A$ must have in order that all Polish spaces with distances in that set belong to a given class, such as zero-dimensional, locally compact, etc. These results lead us to give a fairly complete description of the complexity, with respect to Borel reducibility and again depending on the properties of $A$ , of the relations of isometry and isometric embeddability between these Polish spaces.

preprint2011arXiv

Invariantly universal analytic quasi-orders

We introduce the notion of an invariantly universal pair (S,E) where S is an analytic quasi-order and E \subseteq S is an analytic equivalence relation. This means that for any analytic quasi-order R there is a Borel set B invariant under E such that R is Borel bireducible with the restriction of S to B. We prove a general result giving a sufficient condition for invariant universality, and we demonstrate several applications of this theorem by showing that the phenomenon of invariant universality is widespread. In fact it occurs for a great number of complete analytic quasi-orders, arising in different areas of mathematics, when they are paired with natural equivalence relations.

preprint2011arXiv

The descriptive set theory of the Lebesgue density theorem

Given an equivalence class $[A]$ in the measure algebra of the Cantor space, let $\hatΦ([A])$ be the set of points having density 1 in $A$ . Sets of the form $\hatΦ([A])$ are called $\mathcal{T}$ -regular. We establish several results about $\mathcal{T}$ -regular sets. Among these, we show that $\mathcal{T}$ -regular sets can have any complexity within $Π^{0}_{3}$ (= $\mathbf{F}_{σδ}$ ), that is for any $Π^{0}_{3}$ subset $X$ of the Cantor space there is a $\mathcal{T}$ -regular set that has the same topological complexity of $X$ . Nevertheless, the generic $\mathcal{T}$ -regular set is $Π^{0}_{3}$ -complete, meaning that the classes $[A]$ such that $\hatΦ([A])$ is $Π^{0}_{3}$ -complete form a comeagre subset of the measure algebra. We prove that this set is also dense in the sense of forcing, as $\mathcal{T}$ -regular sets with empty interior turn out to be $Π^{0}_{3}$ -complete. Finally we show that the generic $[A]$ does not contain a $Δ^{0}_{2}$ set, i.e., a set which is in $\mathbf{F}_σ\cap\mathbf{G}_δ$

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.