Related papers: There are more non-Cantorian sets than are Cantori…

Let H be a countable subgroup of the metrizable compact abelian group G and f:H -> T=R/Z a (not necessarily continuous) character of H. Then there exists a sequence (chi_n)_n of (continuous) characters of G such that lim_n chi_n(alpha) =…

A partition is finitary if all its members are finite. For a set $A$, $\mathscr{B}(A)$ denotes the set of all finitary partitions of $A$. It is shown consistent with $\mathsf{ZF}$ (without the axiom of choice) that there exist an infinite…

Based upon the axiom of choice it is proved that the cardinality of the rational numbers is not less than the cardinality of the irrational numbers. This contradicts a main result of transfinite set theory and shows that the axiom of choice…

It is well-known fact that there exists 1-1 correspondence between so-called double (or flou) sets and intuitionistic sets (also known as orthopairs). At first glance, these two concepts seem to be irreconcilable. However, one must remember…

Knowing when a classifier's prediction can be trusted is useful in many applications and critical for safely using AI. While the bulk of the effort in machine learning research has been towards improving classifier performance,…

We show that there is a set which is not a set of multiple recurrence despite being a set of recurrence for nil-Bohr sets. This answers Huang, Shao, and Ye's \enquote{higher-order} version of Katznelson's Question on Bohr recurrence and…

Enrichment and internal categories are two different way to generalize the notion of category. As such, enriching double categories (which are categories internal to Cat) is not a clear concepts. One can look at the internal categories of…

For a finite set of non-zero natural numbers that contains at least one element different from 1 and the least common multiple of any of its subsets, there exists a subset of at least half of its members which has a common divisor larger…

In 1984, K. Mahler asked how well elements in the Cantor middle third set can be approximated by rational numbers from that set, and by rational numbers outside of that set. We consider more general missing digit sets $C$ and construct…

Detection and elimination of redundant clauses from propositional formulas in Conjunctive Normal Form (CNF) is a fundamental problem with numerous application domains, including AI, and has been the subject of extensive research. Moreover,…

We begin with a context more general than set theory. The basic ingredients are essentially the object and functor primitives of category theory, and the logic is weak, requiring neither the Law of Excluded Middle nor quantification. Inside…

In this paper we discuss several variations and generalizations of the Cantor set and study some of their properties. Also for each of those generalizations a Cantor-like function can be constructed from the set. We will discuss briefly the…

Many procedures for SAT and SAT-related problems -- in particular for those requiring the complete enumeration of satisfying truth assignments -- rely their efficiency on the detection of partial assignments satisfying an input formula. In…

We prove that computing an evolutionary ordering of a family of sets, i.e. an ordering where each set intersects with --but is not included in-- the union earlier sets, is NP-hard.

For several classical nonnegative integer functions, we investigate if they are members of the counting complexity class #P or not. We prove #P membership in surprising cases, and in other cases we prove non-membership, relying on standard…

We create a new NLI test set that shows the deficiency of state-of-the-art models in inferences that require lexical and world knowledge. The new examples are simpler than the SNLI test set, containing sentences that differ by at most one…

Let $C(\lambda )\subset \lbrack 0,1]$ denote the central Cantor set generated by a sequence $ \lambda = \left( \lambda_{n} \right) \in \left( 0,\frac{1}{2} \right) ^{\mathbb{N}}$. By the known trichotomy, the difference set $ C(\lambda…

A natural topology on the set of left orderings on free abelian groups and free groups $F_n$, $n>1$ has studied in [1]. It has been proven already that in the abelian case the resulted topological space is a Cantor set. There was a…

We establish a formula yielding the Hausdorff measure for a class of non-self-similar Cantor sets in terms of the canonical covers of the Cantor set.

Classification may not be reliable for several reasons: noise in the data, insufficient input information, overlapping distributions and sharp definition of classes. Faced with several possibilities neural network may in such cases still be…