Related papers: On Separating Wholeness Axioms

We give arguments for and prove the consistency of some internal forcing axioms.

We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various…

The affine Yangian of $\mathfrak{gl}_1$ is known to be isomorphic to ${\cal W}_{1+\infty}$, the $W$-algebra that characterizes the bosonic higher spin -- CFT duality. In this paper we propose defining relations of the Yangian that are…

We prove, under certain conditions on $(\alpha,\beta)$, that each Schwartz function $f$ such that $f(\pm n^{\alpha}) = \hat{f}(\pm n^{\beta}) = 0, \forall n \ge 0$ must vanish identically, complementing a series of recent results involving…

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

We classify all essential extensions of the form $$0 \rightarrow \W \rightarrow \D \rightarrow A \rightarrow 0$$ where $\W$ is the unique separable simple C*-algebra with a unique tracial state, with finite nuclear dimension and with…

A function $f: \mathbb{Z} \to \mathbb{Q}^n$ is a $c$-quasihomomorphism if the Hamming distance between $f(x+y)$ and $f(x)+f(y)$ is at most $c$ for all $x,y \in \mathbb{Z}$. We show that any $c$-quasihomomorphism has distance at most some…

Let $f(n)$ denote the maximum sum of the side lengths of $n$ non-overlapping squares packed inside a unit square. We prove that $f(n^2+1) = n$ for all positive integers $n$ if and only if the sum $\sum_{k\geq 1}(f(k^2+1)-k)$ converges. We…

Recently, it has been shown that wave function coefficients (WFCs) admit a natural description in terms of the orthogonal Grassmannian, furnishing homogeneous solutions to the three-dimensional conformal Ward identities in spinor-helicity…

An important unsolved problem in Diophantine number theory is to establish a general method to effectively find all solutions to any given $S$-unit equation with at least four terms. Although there are many works contributing to this…

Let $K$ be a compact set with connected complement on the half-plane Re$(s)>0$, and let $f$ be a continuous function on $K$ which is analytic in its interior. We prove that for any parameter $0<\alpha<1, \alpha \neq \frac 1 2$ then $f(s)$…

We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. Theorem A: if a variety in a finite language is congruence meet-semidistributive and residually less than some finite cardinal, then…

We show that $ZF+DC+$"all Turing invariant sets of reals have the perfect set property" implies that all sets of reals have the perfect set property. We also show that this result generalizes to all countable analytic equivalence relations.

This article was motivated by the discovery of a potential new foundation for mainstream mathematics. The goals are to clarify the relationships between primitives, foundations, and deductive practice; to understand how to determine what…

This paper contains portions of Baldwin's talk at the Set Theory and Model Theory Conference (Institute for Research in Fundamental Sciences, Tehran, October 2015) and a detailed proof that in a suitable extension of ZFC, there is a…

In this note we prove that for all $a \in \mathbb{N}$, $x \in \mathbb{R}_+ \cup \{0\}$, and $s \in \mathbb{C}$ with $\Re(s) > a + 2$, the (alternating) weighted series of the Hurwitz zeta function, $$ \sum_{k \geq 1} (\pm 1)^k (k +…

We prove an asymptotic formula as $x\to +\infty$ for the number of algebraic integers $\alpha$ belonging to a fixed CM number field and satisfying $\alpha\overline{\alpha}\leq x$. This problem is related to the height zeta function…

A result of Kaufmann shows that if $L_\alpha$ is countable, admissible and satisfies $\Pi_n\textsf{-Collection}$, then $\langle L_\alpha, \in \rangle$ has a proper $\Sigma_{n+1}$-elementary end extension. This paper investigates to what…

We show that countable increasing unions preserve a large family of well-studied covering properties, which are not necessarily sigma-additive. Using this, together with infinite-combinatorial methods and simple forcing theoretic methods,…

We show that there exists an atomic representable polyadic equality algebra of finite dimension n\geq 3, such that the cylindric reduct of its completion is not in SNr_n\CA_{n+4}, hence the result in the title. This solves an open problem…