BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Luca Motto Ros

Luca Motto Ros appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.LOmath.GN

Catalog footprint

What is connected

18works
2topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

18 published item(s)

preprint2024arXiv

Generalized Baire class functions

Let $λ$ be an uncountable cardinal such that $2^{< λ} = λ$. Working in the setup of generalized descriptive set theory, we study the structure of $λ^+$-Borel measurable functions with respect to various kinds of limits, and isolate a suitable notion of $λ$-Baire class $ξ$ function. Among other results, we provide higher analogues of two classical theorems of Lebesgue, Hausdorff, and Banach, namely: (1) A function is $λ^+$-Borel measurable if and only if it can be obtained from continuous functions by iteratively applying pointwise $D$-limits, where $D$ varies among directed sets of size at most $λ$. (2) A function is of $λ$-Baire class $ξ$ if and only if it is $\boldsymbolΣ^{0}_{ξ+1}$-measurable.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Anti-classification results for groups acting freely on the line

We explore countable ordered Archimedean groups from the point of view of descriptive set theory. We introduce the space of Archimedean left-orderings $\mathrm{Ar}(G)$ for a given countable group $G$, and prove that the equivalence relation induced by the natural action of $\mathrm{GL}_2(\mathbb{Q})$ on $\mathrm{Ar}(\mathbb{Q}^2)$ is not concretely classifiable. Then we analyze the isomorphism relation for countable ordered Archimedean groups, and pin its complexity in terms of the hierarchy of Hjorth, Kechris and Louveau. In particular, we show that its potential class is not $\boldsymbolΠ^0_3$. This topological constraint prevents classifying Archimedean groups using countable subsets of reals. We obtain analogous results for the bi-embeddability relation, and we consider similar problems for circularly ordered groups, and o-minimal structures such as ordered divisible Abelian groups, and real closed fields. Our proofs combine classical results on Archimedean groups, the theory of Borel equivalence relations, and analyzing definable sets in the basic Cohen model and other models of Zermelo-Fraenkel set theory without choice.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A descriptive Main Gap Theorem

Answering one of the main questions of [FHK14, Chapter 7], we show that there is a tight connection between the depth of a classifiable shallow theory $T$ and the Borel rank of the isomorphism relation $\cong^κ_T$ on its models of size $κ$, for $κ$ any cardinal satisfying $κ^{< κ} = κ> 2^{\aleph_0}$. This is achieved by establishing a link between said rank and the $\mathcal{L}_{\infty κ}$-Scott height of the $κ$-sized models of $T$, and yields to the following descriptive set-theoretical analogue of Shelah's Main Gap Theorem: Given a countable complete first-order theory $T$, either $\cong^κ_T$ is Borel with a countable Borel rank (i.e. very simple, given that the length of the relevant Borel hierarchy is $κ^+ > \aleph_1$), or it is not Borel at all. The dividing line between the two situations is the same as in Shelah's theorem, namely that of classifiable shallow theories. We also provide a Borel reducibility version of the above theorem, discuss some limitations to the possible (Borel) complexities of $\cong^κ_T$, and provide a characterization of categoricity of $T$ in terms of the descriptive set-theoretical complexity of $\cong^κ_T$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Uncountable structures are not classifiable up to bi-embeddability

Answering some of the main questions from [MR13], we show that whenever $κ$ is a cardinal satisfying $κ^{< κ} = κ> ω$, then the embeddability relation between $κ$-sized structures is strongly invariantly universal, and hence complete for ($κ$-)analytic quasi-orders. We also prove that in the above result we can further restrict our attention to various natural classes of structures, including (generalized) trees, graphs, or groups. This fully generalizes to the uncountable case the main results of [LR05,FMR11,Wil14,CMR17].

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The Hurewicz dichotomy for generalized Baire spaces

By classical results of Hurewicz, Kechris and Saint-Raymond, an analytic subset of a Polish space $X$ is covered by a $K_σ$ subset of $X$ if and only if it does not contain a closed-in-$X$ subset homeomorphic to the Baire space ${}^ωω$. We consider the analogous statement (which we call Hurewicz dichotomy) for $Σ^1_1$ subsets of the generalized Baire space ${}^κκ$ for a given uncountable cardinal $κ$ with $κ=κ^{<κ}$, and show how to force it to be true in a cardinal and cofinality preserving extension of the ground model. Moreover, we show that if the Generalized Continuum Hypothesis (GCH) holds, then there is a cardinal preserving class-forcing extension in which the Hurewicz dichotomy for $Σ^1_1$ subsets of ${}^κκ$ holds at all uncountable regular cardinals $κ$, while strongly unfoldable and supercompact cardinals are preserved. On the other hand, in the constructible universe L the dichotomy for $Σ^1_1$ sets fails at all uncountable regular cardinals, and the same happens in any generic extension obtained by adding a Cohen real to a model of GCH. We also discuss connections with some regularity properties, like the $κ$-perfect set property, the $κ$-Miller measurability, and the $κ$-Sacks measurability.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Bad Wadge-like reducibilities on the Baire space

We consider various collections of functions from the Baire space X into itself naturally arising in (effective) descriptive set theory and general topology, including computable (equivalently, recursive) functions, contraction mappings, and functions which are nonexpansive or Lipschitz with respect to suitable complete ultrametrics on X (compatible with its standard topology). We analyze the degree-structures induced by such sets of functions when used as reducibility notions between subsets of X, and we show that the resulting hierarchies of degrees are much more complicated than the classical Wadge hierarchy; in particular, they always contain large infinite antichains, and in most cases also infinite descending chains.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On the structure of finite level and ω-decomposable Borel functions

We give a full description of the structure under inclusion of all finite level Borel classes of functions, and provide an elementary proof of the well-known fact that not every Borel function can be written as a countable union of Σ^0_α-measurable functions (for every fixed 1 \leq α< ω_1). Moreover, we present some results concerning those Borel functions which are ω-decomposable into continuous functions (also called countably continuous functions in the literature): such results should be viewed as a contribution towards the goal of generalizing a remarkable theorem of Jayne and Rogers to all finite levels, and in fact they allow us to prove some restricted forms of such generalizations. We also analyze finite level Borel functions in terms of composition of simpler functions, and we finally present an application to Banach space theory.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The descriptive set-theoretical complexity of the embeddability relation on models of large size

We show that if κ is a weakly compact cardinal then the embeddability relation on (generalized) trees of size κ is invariantly universal. This means that for every analytic quasi-order R on the generalized Cantor space 2^κ there is an L_{κ^+ κ}-sentence ϕ such that the embeddability relation on its models of size κ, which are all trees, is Borel bireducible (and, in fact, classwise Borel isomorphic) to R. In particular, this implies that the relation of embeddability on trees of size κ is complete for analytic quasi-orders. These facts generalize analogous results for κ=ω obtained in [LR05, FMR11], and it also partially extends a result from [Bau76] concerning the structure of the embeddability relation on linear orders of size κ.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Some observations on "A new proof of a theorem of Jayne and Rogers"

We adapt a construction taken from `L. Motto Ros and B. Semmes, A new proof of a theorem of Jayne and Rogers, Real Anal. Exchange 35(1) (2009/2010), 195-204' in order to correct a mistake contained in the first part of the same paper. As a byproduct of the new construction, the Jayne-Rogers theorem is extended to functions whose range is a regular topological space, and a theorem of Solecki which sharpens the Jayne-Rogers theorem for separable metric spaces is extended to the non-separable context.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Analytic equivalence relations and bi-embedability

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 is in strong contrast to the case of the isomorphism relation, which as an equivalence relation on graphs (or on any class of countable structures consisting of the models of a sentence of L_{ω_1 ω}) is far from complete (see [5, 2]). In this article we strengthen the results of [5] by showing that not only does bi-embeddability give rise to analytic equivalence relations which are complete under Borel reducibility, but in fact any analytic equivalence relation is Borel equivalent to such a relation. This result and the techniques introduced answer questions raised in [5] about the comparison between isomorphism and bi-embeddability. Finally, as in [5] our results apply not only to classes of countable structures defined by sentences of L_{ω_1 ω}, but also to discrete metric or ultrametric Polish spaces, compact metrizable topological spaces and separable Banach spaces, with various notions of embeddability appropriate for these classes, as well as to actions of Polish monoids.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Game representations of classes of piecewise definable functions

We present a general way of defining various reduction games on ω which "represent" corresponding topologically defined classes of functions. In particular, we will show how to construct games for piecewise defined functions, for functions which are pointwise limit of certain sequences of functions and for Γ-measurable functions. These games turn out to be useful as a combinatorial tool for the study of general reducibilities for subsets of the Baire space [10].

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the complexity of the relations of isomorphism and bi-embeddability

Given an L_{ω_1 ω}-elementary class C, that is the collection of the countable models of some L_{ω_1 ω}-sentence, denote by \cong_C and \equiv_C the analytic equivalence relations of, respectively, isomorphism and bi-embeddability on C. Generalizing some questions of Louveau and Rosendal [LR05], in [FMR09] it was proposed the problem of determining which pairs of analytic equivalence relations (E,F) can be realized (up to Borel bireducibility) as pairs of the form (\cong_C,\equiv_C), C some L_{ω_1 ω}-elementary class (together with a partial answer for some specific cases). Here we will provide an almost complete solution to such problem: under very mild conditions on E and F, it is always possible to find such an L_{ω_1 ω}-elementary class C.

0 citations0 reviewsNo code linkedOpen access