English
Related papers

Related papers: The Solecki dichotomy for functions with analytic …

200 papers

In this paper we prove the Bohr Theorem for slice regular functions. Following the historical path that led to the proof of the classical Bohr Theorem, we also extend the Borel-Carath\'eodory Theorem to the new setting.

Complex Variables · Mathematics 2014-04-14 Chiara Della Rocchetta , Graziano Gentili , Giulia Sarfatti

All spaces are assumed to be separable and metrizable. Consider the following properties of a space $X$. (1) $X$ is Polish. (2) For every countable crowded $Q\subseteq X$ there exists a crowded $Q'\subseteq Q$ with compact closure. (3)…

General Topology · Mathematics 2014-06-02 Andrea Medini , Lyubomyr Zdomskyy

We provide a comprehensive development of the basics of descriptive set theory for non-separable complete metric spaces whose weight is a singular cardinal $\lambda$ of countable confinality. Somewhat unexpectedly, the resulting theory is…

Logic · Mathematics 2025-11-21 Vincenzo Dimonte , Luca Motto Ros

The Wadge hierarchy was originally defined and studied only in the Baire space (and some other zero-dimensional spaces). We extend it here to arbitrary topological spaces by providing a set-theoretic definition of all its levels. We show…

Logic · Mathematics 2019-11-11 Victor Selivanov

We investigate Baire-one functions whose graph is contained in a graph of usco mapping. We prove in particular that such a function defined on a metric space with values in $\mathbb{R}^d$ is the pointwise limit of a sequence of continuous…

General Topology · Mathematics 2009-05-21 Ondřej F. K. Kalenda

The Fueter mapping theorem gives a constructive way to extend holomorphic functions of one complex variable to monogenic functions, i.e., null solutions of the generalized Cauchy-Riemann operator in $\mathbb{R}^4$, denoted by $\mathcal{D}$.…

Spectral Theory · Mathematics 2022-11-18 Antonino De Martino , Stefano Pinton

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,…

Logic · Mathematics 2013-09-13 Luca Motto Ros

We investigate Boolean degree 1 functions for several classical association schemes, including Johnson graphs, Grassmann graphs, graphs from polar spaces, and bilinear forms graphs, as well as some other domains such as multislices (Young…

Combinatorics · Mathematics 2020-10-08 Yuval Filmus , Ferdinand Ihringer

This article establishes that the split decomposition of graphs introduced by Cunnigham, is definable in Monadic Second-Order Logic.This result is actually an instance of a more general result covering canonical graph decompositions like…

Logic in Computer Science · Computer Science 2017-01-11 Bruno Courcelle

We prove a conjecture of Denef on parameterized $p$-adic analytic integrals using an analytic cell decomposition theorem, which we also prove in this paper. This cell decomposition theorem describes piecewise the valuation of analytic…

Number Theory · Mathematics 2007-05-23 Raf Cluckers

Let $\mathscr C$ be a class of finite and infinite graphs that is closed under induced subgraphs. The well-known {\L}o\'s-Tarski Theorem from classical model theory implies that $\mathscr C$ is definable in first-order logic (FO) by a…

Logic in Computer Science · Computer Science 2020-08-04 Yijia Chen , Joerg Flum

We extend the well-known Shannon decomposition of Boolean functions to more general classes of functions. Such decompositions, which we call pivotal decompositions, express the fact that every unary section of a function only depends upon…

Rings and Algebras · Mathematics 2014-06-10 Jean-Luc Marichal , Bruno Teheux

Skorokhod's J1 and M1 topologies are standard tools in proving limit theorems for stochastic processes. Motivated by applications, we extend these topologies so that they are capable of describing the convergence of a sequence of functions…

General Topology · Mathematics 2025-09-11 Nic Freeman , Jan M. Swart

Examples by Poletsky and the author and by Zwonek show the existence nowhere extendable holomorphic functions with the property that the pluripolar hull of their graphs is much larger than the graph of the respective functions and contains…

Complex Variables · Mathematics 2022-10-05 Jan Wiegerinck

Let H be a product of countably infinite number of copies of an uncountable Polish space X. Let $\Sigma_\xi$ $(\bar {\Sigma}_\xi)$ be the class of Borel sets of additive class \xi for the product of copies of the discrete topology on X (the…

Logic · Mathematics 2007-07-16 Rana Barua , Ashok Maitra

Let $X$ be a Polish space and $K$ a separable compact subset of the first Baire class on $X$. For every sequence $\bs$ dense in $\kk$, the descriptive set-theoretic properties of the set \[ \lbf=\{L\in[\nn]: (f_n)_{n\in L} \text{is…

Logic · Mathematics 2008-05-15 Pandelis Dodos

The Fueter theorem provides a two step procedure to build an axially monogenic function, i.e. a null-solutions of the Cauchy-Riemann operator in $ \mathbb{R}^4$, denoted by $ \mathcal{D}$. In the first step a holomorphic function is…

Functional Analysis · Mathematics 2022-07-20 Antonino De Martino , Stefano Pinton

Examples of discontinuous functions already appear in the work of Euler, Abel, Dirichlet, Fourier, and Bolzano. A ground-breaking discovery due to Baire was that many discontinuous functions are well-behaved in that they are the pointwise…

Logic · Mathematics 2026-02-06 Dag Normann , Sam Sanders

The Denjoy integral is an integral that extends the Lebesgue integral and can integrate any derivative. In this paper, it is shown that the graph of the indefinite Denjoy integral $f\mapsto \int_a^x f$ is a coanalytic non-Borel relation on…

Logic · Mathematics 2016-09-13 Sean Walsh

The generating function that records the sizes of directed circuit partitions of a connected 2-in, 2-out digraph D can be determined from the interlacement graph of D with respect to a directed Euler circuit; the same is true of the…

Combinatorics · Mathematics 2012-09-24 Lorenzo Traldi