Related papers: A generalized Cantor theorem in ZF

We establish a generalization of Littlewood's criterion on $L^\alpha$-flatness by proving that there is no $L^\alpha$-flat polynomials, $\alpha>0$, within the class of analytic polynomials on the unit circle of the form $…

We present a new result on the nonexistence of generalized bent functions (GBFs)from (Z/tZ)^n to Z/tZ (called type [n, t]) for a large class. Assume p is an odd prime number. By showing certain quadratic norm form equations having no…

In this paper I introduce a new and intuitive first-order foundational theory (where the concept of set is not primitive) and use it to show that the power set of an infinite set does not exist. In particular, proofs of uncountability of a…

We generalize the Sarkozy-Furstenberg theorem on squares in difference sets of integers, and show that, given any positive definite function f:Z_N->C with density at least r(N), where r(N)=O((\log N)^{-c}), there is a perfect square s<=N/2…

In this paper I will construct a non-separable hereditarily Lindelof space (L space) without any additional axiomatic assumptions. I will also show that there is a function f from [omega_1]^2 to omega_1 such that if A,B, subsets of omega_1,…

The paper is motivated by E. Akin's book about dynamical systems and closed relations [A], and by J. Kennedy's and G. Erceg's recent paper about the entropy of closed relations on closed intervals [EK]. In present paper, we introduce the…

We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a choice principle, and show that this extension has the following properties: it is interpretable in Martin-Lof's type theory (hence…

We give a short proof of the most general version of the Nullstellensatz without using the Axiom of Choice.

Let $\mathsf{M}$ be the set theory obtained from $\mathsf{ZF}$ by removing the collection scheme, restricting separation to $\Delta_0$-formulae and adding an axiom asserting that every set is contained in a transitive set. Let…

In this paper, we first give a new simple proof to the elimination theorem of definite fold by homotopy for generic smooth maps of manifolds of dimension strictly greater than $2$ into the $2$--sphere or into the real projective plane. Our…

We will show that there is no ZFC example of a set distinguishing between universally null and perfectly meager sets.

G\"odel proved in the 1930s in his famous Incompleteness Theorems that not all statements in mathematics can be proven or disproven from the accepted ZFC axioms. A few years later he showed the celebrated result that Cantor's Continuum…

Much mathematical writing exists that is, explicitly or implicitly, based on set theory, often Zermelo-Fraenkel set theory (ZF) or one of its variants. In ZF, the domain of discourse contains only sets, and hence every mathematical object…

Let G be a smooth algebraic group acting on a variety X. Let F and E be coherent sheaves on X. We show that if all the higher Tor sheaves of F against G-orbits vanish, then for generic g in G, the sheaf Tor^X_j(gF, E) vanishes for all j >0.…

In this paper we prove undecidability of finite systems of equations in free Lie algebras of rank at least three over an arbitrary field. We show that the ring of integers $\mathbb{Z}$ is interpretable by positive existential formulas in…

We force the Axiom of Choice over the least initial segment of a Nairian model satisfying ZF. In the forcing extension, square_kappa fails at all uncountable cardinals kappa, and every regular cardinal is omega-strongly measurable in HOD,…

Let k be a number field, let E/k be an elliptic curve, and let S be a finite set of places of k contianing the archimedean places. Let F be an algebraic closure of k. We prove that if a point P in E(F) is nontorsion, then there are only…

We consider a field $F$ and positive integers $n$, $m$, such that $m$ is not divisible by $\mathrm{Char}(F)$ and is prime to $n!$. The absolute Galois group $G_F$ acts on the group $\mathbb{U}_n(\mathbb{Z}/m)$ of all $(n+1)\times(n+1)$…

If $T_t=\rme^{Zt}$ is a positive one-parameter contraction semigroup acting on $l^p(X)$ where $X$ is a countable set and $1\leq p <\infty$, then the peripheral point spectrum $P$ of $Z$ cannot contain any non-zero elements. The same holds…

We review results concerning homogeneous compacta and discuss some open questions. It is established that indecomposable continua are Alexandroff (resp., Mazurkiewicz, or strong Cantor) manifolds with respect to the class of all continua.…