English
Related papers

Related papers: Classification problems from the descriptive set t…

200 papers

We show that several dichotomy theorems concerning the second level of the Borel hierarchy are special cases of the $\aleph_0$-dimensional generalization of the open graph dichotomy, which itself follows from the usual proof(s) of the…

Logic · Mathematics 2018-03-09 Raphaël Carroy , Benjamin D. Miller , Dániel T. Soukup

This paper extends the class of ordinal regression models with a structured interpretation of the problem by applying a novel treatment of encoded labels. The net effect of this is to transform the underlying problem from an ordinal…

Machine Learning · Computer Science 2019-06-03 Niall Twomey , Rafael Poyiadzi , Callum Mann , Raúl Santos-Rodríguez

We consider a large family of theories of equivalence relations, each with finitely many classes, and assuming the existence of an $\omega$-Erdos cardinal, we determine which of these theories are Borel complete. We develop machinery,…

Logic · Mathematics 2024-07-16 Michael C. Laskowski , Danielle S. Ulrich

We extend Borel's theorem on the dominance of word maps from semisimple algebraic groups to some perfect groups. In another direction, we generalize Borel's theorem to some words with constants. We also consider the surjectivity problem for…

Group Theory · Mathematics 2018-04-26 Nikolai Gordeev , Boris Kunyavskii , Eugene Plotkin

In 1990 Kechris and Louveau developed the theory of three very natural ranks on the Baire class $1$ functions. A rank is a function assigning countable ordinals to certain objects, typically measuring their complexity. We extend this theory…

Logic · Mathematics 2016-10-25 Márton Elekes , Viktor Kiss , Zoltán Vidnyánszky

The purpose of this book is to lay out certain aspects of descriptive set theory. After initially establishing notation and generalities we proceed to the following topics: partitions, semirings, rings, $\sigma$-rings, $\delta$-rings,…

Logic · Mathematics 2024-04-09 Garth Warner

In 1980s, Thurston established a topological characterization theorem for postcritically finite rational maps. In this paper, a decomposition theorem for a class of postcritically infinite branched covering termed `Herman map' is developed.…

Dynamical Systems · Mathematics 2012-03-27 Xiaoguang Wang

As suggested by the title, this paper is a survey of recent results and questions on the collection of computably enumerable sets under inclusion. This is not a broad survey but one focused on the author's and a few others' current…

Logic · Mathematics 2013-12-23 Peter Cholak

Since it was first published 30 years ago, Chi et al.'s seminal paper on expert and novice categorization of introductory problems led to a plethora of follow-up studies within and outside of the area of physics [Chi et al. Cognitive…

Physics Education · Physics 2012-07-09 Steven F. Wolf , Daniel P. Dougherty , Gerd Kortemeyer

We address some fundamental problems concerning the structure of idealistic equivalence relations. In particular, we show that, under analytic determinacy, there are continuum many idealistic analytic equivalence relations that are not…

Logic · Mathematics 2025-06-11 Filippo Calderoni , Luca Motto Ros

Boykin and Jackson recently introduced a property of countable Borel equivalence relations called Borel boundedness, which they showed is closely related to the union problem for hyperfinite equivalence relations. In this paper, we…

Logic · Mathematics 2019-08-16 Samuel Coskey , Scott Schneider

This paper investigates the problem of extending measure theory to non-separable structures, from generalized descriptive set theory to a broader class of spaces beyond this framework. While various notions, such as the ideal of measure…

Logic · Mathematics 2026-01-21 Claudio Agostini , Fernando Barrera , Vincenzo Dimonte

The space of Lascar strong types, on some sort and relative to a given first order theory T, is in general not a compact Hausdorff space. This paper has at least three aims. First to show that spaces of Lascar strong types and other related…

Logic · Mathematics 2012-04-17 Krzysztof Krupinski , Anand Pillay , Slawomir Solecki

For a torus T defined over a global field K, we revisit an analytic class number formula obtained by Shyr in the 1970's as a generalization of Dirichlet's class number formula. We prove a local-global presentation of the quasi-discriminant…

Algebraic Geometry · Mathematics 2011-05-20 R. A. Bitan

A survey of recent results concerning cardinal invariants of measure and category. Submitted as a chapter of the upcoming Handbook of Set Theory.

Logic · Mathematics 2007-05-23 Tomek Bartoszynski

Motivated by the minimal tower problem, an earlier work studied diagonalizations of covers where the covers are related to linear quasiorders (tau-covers). We deal with two types of combinatorial questions which arise from this study. 1.…

Logic · Mathematics 2010-11-02 Saharon Shelah , Boaz Tsaban

We present a simple regularization of adversarial perturbations based upon the perceptual loss. While the resulting perturbations remain imperceptible to the human eye, they differ from existing adversarial perturbations in that they are…

Computer Vision and Pattern Recognition · Computer Science 2021-04-01 Andrew Elliott , Stephen Law , Chris Russell

Whilst contrastive learning has recently brought notable benefits to deep clustering of unlabelled images by learning sample-specific discriminative visual features, its potential for explicitly inferring class decision boundaries is less…

Computer Vision and Pattern Recognition · Computer Science 2022-11-22 Jiabo Huang , Shaogang Gong

Methods are described for the solution of linear inference problems subject to deterministic constraints. The approach builds on work by Backus (1970a,b,c) and Parker (1977), but a range useful advances are suggested to address both…

Geophysics · Physics 2021-09-22 David Al-Attar

In this paper we study an overdetermined problem which is directly related to the well known torsion problem studied by J. Serrin. A perturbed version of the latter is tackled by using asymptotic series as well as tools borrowed from the…

Analysis of PDEs · Mathematics 2026-03-23 Alessandro Fortunati , Filomena Pacella