Related papers: A model with no magic sets

We prove consistency of the following sentence: ``ZFC + every real function is continuous on a non-meagre set'', answering a question of Fremlin.

It is shown that the existence of a measurable cardinal is equiconsistent to a model of ZFC in which there is no ordinal-definable, stationary, costationary subset of $\omega_1$

A function f from reals to reals (f:R->R) is almost continuous (in the sense of Stallings) iff every open set in the plane which contains the graph of f contains the graph of a continuous function. Natkaniec showed that for any family F of…

Let $(X, +)$ denote $(\mathbb{R}, +)$ or $(2^{\omega}, +_2)$. We prove that for any meagre set $F \subseteq X$ there exists a subgroup $G \le X$ without the Baire property, disjoint with some translation of F. We point out several…

In this paper, we consider certain cardinals in ZF (set theory without AC, the Axiom of Choice). In ZFC (set theory with AC), given any cardinals C and D, either C <= D or D <= C. However, in ZF this is no longer so. For a given infinite…

We show that the theory ZFC-, consisting of the usual axioms of ZFC but with the power set axiom removed-specifically axiomatized by extensionality, foundation, pairing, union, infinity, separation, replacement and the assertion that every…

We show that in Zermelo-Fraenkel Set Theory without the Axiom of Choice a surjectively modified continuum function $\theta(\kappa)$ can take almost arbitrary values for all infinite cardinals. This choiceless version of Easton's Theorem is…

We show in this note that in the forcing extension by $Add(\omega,\beth_{\omega})$, the following Ramsey property holds: for any $r\in \omega$ and any $f: \mathbb{R}\to r$, there exists an infinite $X\subset \mathbb{R}$ such that $X+X$ is…

We prove that it is consistent with ZFC that for every non-decreasing function $f:[0,1]\to [0,1]$, each subset of $[0,1]$ of cardinality $\mathfrak c$ contains a set of cardinality $\mathfrak c$ on which $f$ is uniformly continuous. We show…

We show the consistency of ZFC +''there is no NWD-ultrafilter on omega'', which means: for every non principle ultrafilter D on the set of natural numbers, there is a function f from the set of natural numbers to the reals, such that for…

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…

We show that there is always a uniformly antisymmetric f:A-> {0,1} if A subset R is countable. We prove that the continuum hypothesis is equivalent to the statement that there is an f:R-> omega with |S_x| <= 1 for every x in R. If the…

We construct, under the assumption that union of less than continuum many meager subsets of R is meager in R, an additive connectivity function f:R-->R with Cantor intermediate value property which is not almost continuous. This gives a…

We make use of a finite support product of $\omega_1$ clones of the Jensen minimal $\varPi^1_2$ singleton forcing to obtain a model of ZFC in which every non-empty lightface analytically definable set of reals contains a lightface…

We discuss ways of adjoining perfect sets of mutually generic random reals. In particular, we show that if V \sub W are models of ZFC and W contains a dominating real over V, then W[r], where r is random over W, contains a perfect tree of…

We consider families F of sequences converging to +infinity that F satisfies the following condition (C): (C): if an open set U in the real line is unbounded above then there exists a sequence belonging to F, which has an infinite number of…

Starting from an inaccessible cardinal, we construct a model of $ZF+DC$ where there exists a mad family and all sets of reals are $\mathbb Q$-measurable for $\omega^{\omega}$-bounding sufficiently absolute forcing notions $\mathbb Q$.

We mainly investigate model of set theory with restricted choice, e.g., ZF + DC + "the family of countable subsets of lambda is well ordered for every lambda" (really local version for a given lambda). In this frame much of pcf theory can…

Let $(M,g)$ be a simple Riemannian manifold. Under the assumption that the metric $g$ is real-analytic, it is shown that if the geodesic ray transform of a function $f\in L^{2}(M)$ vanishes on an appropriate open set of geodesics, then…

Using an invariant modification of Jensen's "minimal $\varPi^1_2$ singleton" forcing, we define a model of ZFC, in which, for a given $n\ge2$, there exists a lightface $\varPi^1_n$ unordered pair of non-OD (hence, OD-indiscernible)…