Related papers: A model with no magic sets

Let $F$ be the category with the set of objects $\bf N$ and morphisms being the functions between the standard finite sets of the corresponding cardinalities. Let $Jf:F\rightarrow Sets$ be the obvious functor from this category to the…

Let $X$ be a set of cardinality $\kappa$ such that $\kappa^\omega=\kappa$. We prove that the linear algebra $\mathbb{R}^X$ (or $\mathbb{C}^X$) contains a free linear algebra with $2^\kappa$ generators. Using this, we prove several…

Our main result is that, given a collection $\mathcal{R}$ of meager relations on a Polish space $X$ such that $|\mathcal{R}|\leq\omega$, there exists a dense Baire subspace $F$ of $X$ (equivalently, a nowhere meager subset $F$ of $X$) such…

Let $A$ be a subset of a finite field $\mathbb{F}$. When $\mathbb{F}$ has prime order, we show that there is an absolute constant $c > 0$ such that, if $A$ is both sum-free and equal to the set of its multiplicative inverses, then $|A| <…

Baker's conjecture states that a transcendental entire function of order less than $1/2$ has no unbounded Fatou components. It is known that, for such functions, there are no unbounded periodic Fatou components and so it remains to show…

Using iterated Sacks forcing and topological games, we prove that the existence of a totally imperfect Menger set in the Cantor cube with cardinality continuum is independent from ZFC. We also analyze the structure of Hurewicz and consonant…

Starting from a model with a Laver-indestructible supercompact cardinal $\kappa$, we construct a model of $ZF+DC_{\kappa}$ where there are no $\kappa$-mad families.

In this paper, we study some properties of the ring $C(X)_F$ of all real valued functions which are continuous except on some finite subsets of $X$. We show that $C(X)_F$ is closed under uniform limit if and only if the set of all…

We show that there exists an entire function f without zeros for which the associated Newton function N(z)=z-f(z)/f'(z) is a transcendental meromorphic functions without Baker domains. We also show that there exists an entire function f…

The paper contains two results pointing to the lack of symmetry between measure and category. Assume CH. There exists a strongly meager subset of the Cantor set that can be mapped onto the Cantor set by a uniformly continuous function. (It…

Let M be a finite Riemann surface and let A(bM) be the algebra of all continuous functions on bM which extend holomorphically through M. We prove that a continuous function F on bM belongs to A(bM) if for each f, g in A(bM) such that fF+g…

We introduce and study some variants of a notion of canonical set theoretical truth. By this, we mean truth in a transitive proper class model $M$ of ZFC that is uniquely characterized by some $\in$-formula. We show that there are…

Given an F-sigma-delta subset A of the real line R of Lebesgue measure zero, we construct a monotone absolutely continuous function f from R to R such that the little Lipschitz constant of f is equal to infinity exactly at points of A.

We extend a transitive model V of ZFC + GCH cardinal preservingly to a model N of ZF + "GCH holds below Alef_omega" + "there is a surjection from the power set of Alef_omega onto lambda" where lambda is an arbitrarily high fixed cardinal in…

A generalization of the classical Sard theorem in the plane is the following. Let $f$ be a function defined on a subset $A\subset{\mathbb R}^2$. If $f$ has modulus of continuity $\omega(r)\lesssim r^2$, then $f(A)\subset{\mathbb R}$ has…

We study the class $\mathcal{M}$ of functions meromorphic outside a countable closed set of essential singularities. We show that if a function in $\mathcal{M}$, with at least one essential singularity, permutes with a non-constant rational…

In this work we prove that if an entire function $f(z)$ is of order strictly less than one and it has only negative zeros, then for each nonnegative integer $k,m$ the real function…

Let $K$ be a nonempty finite subset of the Euclidean space $\mathbb{R}^k$ $(k\ge 2)$. We prove that if a function $f\colon \mathbb{R}^k\to \mathbb{C}$ is such that the sum of $f$ on every congruent copy of $K$ is zero, then $f$ vanishes…

We study the notion of non-trivial elementary embeddings $j : V \rightarrow V$ under the assumption that $V$ satisfies $ZFC$ without Power Set but with the Collection Scheme. We show that no such embedding can exist under the additional…

A group G that is not finitely generated can be written as the union of a chain of proper subgroups. The cofinality spectrum of G, written CF(S), is the set of regular cardinals lambda such that G can be expressed as the union of a chain of…