Related papers: Projective sets, intuitionistically
The special case of closed subsets of C^n is briefly discussed.
This article focuses on the question of learning how to automatically select a subset of items among a bigger set. We introduce a methodology for the inference of ensembles of discrete values, based on the Naive Bayes assumption. Our…
We study the structure of separable elements in bipartite C$^{\ast}$-algebras, focusing on the existence and size of a separable neighbourhood around the identity element. While this phenomenon is well understood in the finite-dimensional…
We show that every non-Haar-null analytic subset of $\mathbb{Z}^\omega$ contains a non-Haar-null closed subset. Moreover, we also prove that the codes of Haar-null analytic subsets, and, consequently, closed Haar-null sets in the Effros…
Computable analysis and effective descriptive set theory are both concerned with complete metric spaces, functions between them and subsets thereof in an effective setting. The precise relationship of the various definitions used in the two…
We study ideals $\mathcal{I}$ on $\mathbb{N}$ satisfying the following Baire-type property: if $X$ is a complete metric space and $\{X_{A} \colon A \in \mathcal{I} \}$ is a family of nowhere dense subsets of $X$ with $X_{A} \subset X_{B}$…
In the additive topological group $(\mathbb{R},+)$ of real numbers, we construct families of sets for which elements are not measurable in the Lebesgue sense. The constructed families have algebraic structures of being semigroups (i.e.,…
We study the analytic structure of the space of germs of an analytic function at the origin of \ww C^{\times m} , namely the space \germ{\mathbf{z}} where \mathbf{z}=\left(z\_{1},\cdots,z\_{m}\right) , equipped with a convenient locally…
In this Phd. thesis, a structural analysis of construction schemes is developed. The importance of this study will be justified by constructing several distinct combinatorial objects which have been of great interest in mathematics. We then…
Assumption-Based Argumentation (ABA) is a well-established formalism for modelling and reasoning over debates, with a wide range of applications. However, the high computational complexity of core reasoning tasks in ABA poses a significant…
We revisit the notion of initial sets by Xu and Cayrol, i.e., non-empty minimal admissible sets in abstract argumentation frameworks. Initial sets are a simple concept for analysing conflicts in an abstract argumentation framework and to…
Deep neural networks do not discriminate between spurious and causal patterns, and will only learn the most predictive ones while ignoring the others. This shortcut learning behaviour is detrimental to a network's ability to generalize to…
This paper introduces almost partitionable sets to generalize the known concept of partitionable sets. These notions provide a unified frame to construct $\mathbb{Z}$-cyclic patterned starter whist tournaments and cyclic balanced sampling…
Disjointness, bands, and band projections are a classical and essential part of the structure theory of vector lattices. If $X$ is such a lattice, those notions seem - at first glance - intimately related to the lattice operations on $X$.…
We study the computational problem of checking whether a quantified conjunctive query (a first-order sentence built using only conjunction as Boolean connective) is true in a finite poset (a reflexive, antisymmetric, and transitive directed…
We investigate strongly separately continuous functions on a product of topological spaces and prove that if $X$ is a countable product of real lines, then there exists a strongly separately continuous function $f:X\to\mathbb R$ which is…
Sumsets are central objects in additive combinatorics. In 2007, Granville asked whether one can efficiently recognize whether a given set $S$ is a sumset, i.e. whether there is a set $A$ such that $A+A=S$. Granville suggested an algorithm…
We show that in the family of degree $d\geq 2$ rational maps of the Riemann sphere, the closure of strictly postcritically finite maps contains a (relatively) Baire generic subset of maps displaying maximal non-statistical behavior: for a…
Despite the practical success of deep neural networks, a comprehensive theoretical framework that can predict practically relevant scores, such as the test accuracy, from knowledge of the training data is currently lacking. Huge…
We introduce and study a new topological notion of the size for subsets of the real line, called \emph{super-density}. A set $A\subset\mathbb{R}$ is super-dense if for every non-empty open interval $I$ and every nowhere constant continuous…