Related papers: There are only countably many sets

In this paper we show that for every $2\leq n\in \mathbb{N}$, the statement "there is an $n$-entangled set, but there are no $n+1$-entangled sets" is consistent. We also prove some theorems which improve our understanding of entangled sets…

The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_\sigma$ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof…

We study M-separability as well as some other combinatorial versions of separability. In particular, we show that the set-theoretic hypothesis b=d implies that the class of selectively separable spaces is not closed under finite products,…

Two observables are called complementary if preparing a physical object in an eigenstate of one of them yields a completely random result in a measurement of the other. We investigate small sets of complementary observables that cannot be…

A computation shows that there are 77 (up to scalar shifts) possible pairs of integer coefficient polynomials of degree five, having roots of unity as their roots, and satisfying the conditions of Beukers and Heckman [1], so that the…

We introduce the theory of div point sets, which aims to provide a framework to study the combinatoric nature of any set of points in general position on an Euclidean plane. We then show that proving the unsatisfiability of some first-order…

We prove intuitionistic versions of the classical theorems saying that all countable closed subsets of $[-\pi,\pi]$ and even all countable subsets of $[-\pi,\pi]$ are sets of uniqueness.

Let $A$ be an additive basis. We call ``essential subset'' of $A$ any finite subset $P$ of $A$ such that $A \setminus P$ is not an additive basis and that $P$ is minimal (for the inclusion order) to have this property. A recent theorem due…

We prove that the sets $\{n \in N: n$ satisfies formula (1)$\}$ and $\{n \in N: n$ does not satisfy formula (2)$\}$ are not recursively enumerable. We prove that these sets are co-recursively enumerable. $(1)~\exists p,q \in…

We show that for a minimal system $(X,T)$, the set of saturated points along cubes with respect to its maximal $\infty$-step pro-nilfactor $X_\infty$ has a full measure. As an application, it is shown that if a minimal system $(X,T)$ has no…

In [5] Soare and Stob prove that if $A$ is an r.e. set which isn't computable then there is a set of the form $A \oplus W^A_e$ which isn't of r.e. Turing degree. If we define a properly $n+1$-REA set to be an $n+1$-REA set which isn't…

Urata showed that a pointed compact hyperbolic variety admits only finitely many maps from a pointed curve. We extend Urata's theorem to the setting of (not necessarily compact) hyperbolically embeddable varieties. As an application, we…

We show that only a rather small proportion of linear equations are solvable in elements of a fixed finitely generated subgroup of a multiplicative group of a number field. The argument is based on modular techniques combined with a…

In this paper, it shows that for each fuzzy set $u$ on $\mathbb{R}^m$, the set $D(u)$ is at most countable. Based on this, it modifies the proof of assertion (I) in step 2 of the sufficiency part of Theorem 4.1 in paper: Characterizations…

The topic of this paper is the Finiteness Conjecture for minimally unsatisfiable clause-sets (MUs), stating that for each fixed deficiency (number of clauses minus number of variables) there are only finitely many patterns, given a certain…

In this note we are concerned with the validity of an uncountable analogue of a combinatorial lemma due to Vlastimil Pt\'ak. We show that the validity of the result for $\omega_1$ can not be decided in ZFC alone. We also provide a…

We give a short proof of the fact that every set of natural numbers with positive upper Banach density contains the sum of two infinite sets. The approach simplifies earlier existing proofs.

Let $K$ be an unramified $p$-adic local field and let $W$ be the ring of integers of $K$. Let $(X,S)/W$ be a smooth proper scheme together with a normal crossings divisor. We show that there are only finitely many log crystalline $\mathbb…

Mubayi's Conjecture states that if $\mathcal{F}$ is a family of $k$-sized subsets of $[n] = \{1,\ldots,n\}$ which, for $k \geq d \geq 2$, satisfies $A_1 \cap\cdots\cap A_d \neq \emptyset$ whenever $|A_1 \cup\cdots\cup A_d| \leq 2k$ for all…

Arabshahi, Singh, and Anandkumar (2018) propose a method for creating a dataset of symbolic mathematical equations for the tasks of symbolic equation verification and equation completion. Unfortunately, a dataset constructed using the…