Related papers: On Ciesielski's problems

Recently it has been proved that, assuming that there is an almost disjoint family of cardinality (2^{\mathfrak c}) in (\mathfrak c) (which is assured, for instance, by either Martin's Axiom, or CH, or even $2^{<\mathfrak c=\mathfrak c$})…

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…

The axioms of ZFC provide a foundation for mathematics, however, there are statements independent of ZFC, such as the Continuum Hypothesis (CH). We discuss Martin's axiom, which is an alternative to CH that roughly states that if there is a…

We first consider a question raised by Alexander Eremenko and show that if $\Omega $ is an arbitrary connected open cone in ${\mathbb R}^d$, then any two positive harmonic functions in $\Omega $ that vanish on $\partial \Omega $ must be…

A function of two variables F(x,y)is universal iff for every other function G(x,y) there exists functions h(x) and k(y) with G(x,y) = F(h(x),k(y)) Sierpinski showed that assuming the continuum hypothesis there exists a Borel function F(x,y)…

We discuss three problems of Koszmider on the structure of the spaces of continuous functions on the Stone compact $K_{\mathcal A}$ generated by an almost disjoint family $\mathcal A$ of infinite subsets of $\omega$ -- we present a solution…

The goal of this note is to construct a uniformly antisymmetric function f:R-> R with a bounded countable range. This answers Problem 1(b) of Ciesielski and Larson. (See also list of problems in Thomson and Problem 2(b) from Ciesielski's…

This article explores the model-dependent nature of set cardinality, emphasizing that cardinality is not absolute but varies across different axiomatic frameworks. Although Cantor's diagonal argument shows the real numbers are…

There have been, over the last 8 years, a number of far reaching extensions of the famous original F. and M. Riesz's uniqueness theorem that states that if a bounded analytic function in the unit disc of the complex plane $\Bbb C$ has the…

A function f:R -> R is approximately continuous iff it is continuous in the density topology, i.e., for any ordinary open set U the set E=f^{-1}(U) is measurable and has Lebesgue density one at each of its points. Denjoy proved that…

By Easton's theorem one can force the exponential function on regular cardinals to take rather arbitrary cardinal values provided monotonicity and Koenig's lemma are respected. In models without choice we employ a "surjective" version of…

We develop a toolbox for forcing over arbitrary models of set theory without the axiom of choice. In particular, we introduce a variant of the countable chain condition and prove an iteration theorem that applies to many classical forcings…

We generalize some classical results about quasicontinuous and separately continuous functions with values in metrizable spaces to functions with values in certain generalized metric spaces, called Maslyuchenko spaces. We establish…

We consider the following property: (*) For every function f from R^2 to R there are functions g_n,h_n from R to R (for n<omega) such that for all real numbers x and y, f(x,y) = sum_{n<omega} g_n(x)h_n(y). We show that, despite some…

We prove the following two results. Theorem A: Let alpha be a limit ordinal. Suppose that 2^{|alpha|}<aleph_alpha and 2^{|alpha|^+}<aleph_{|alpha|^+}, whereas aleph_alpha^{|alpha|}>aleph_{|alpha|^+}. Then for all n< omega and for all…

Given a continuous real-valued function on [0, 1], and a closed subset E \subset [0, 1] we denote by f E the restriction of f to E, that is, the function defined only on E that takes the same values as f at every point of E >. The…

We prove several rigidity results for corona $C^*$-algebras and \v{C}ech-Stone remainders under the assumption of Forcing Axioms. In particular, we prove that a strong version of Todor\v{c}evi\'c's $\OCA$ and Martin's Axiom at level…

Assuming the existence of certain large cardinal numbers, we prove that for every projective filter $\mathscr F$ over the set of natural numbers, $\mathscr{F}$-bases in Banach spaces have continuous coordinate functionals. In particular,…

We prove that if $f:\mathbb{R}^n\to\mathbb{R}$ is convex and $A\subset\mathbb{R}^n$ has finite measure, then for any $\varepsilon>0$ there is a convex function $g:\mathbb{R}^n\to\mathbb{R}$ of class $C^{1,1}$ such that $\mathcal{L}^n(\{x\in…

We show that for $\Pi_2$-properties of second or third order arithmetic as formalized in appropriate natural signatures the apparently weaker notion of forcibility overlaps with the standard notion of consistency (assuming large cardinal…