Related papers: Souslin's Hypothesis and Convergence in Category

The linear continuity of a function defined on a vector space means that its restriction on every affine line is continuous. For functions defined on $\mathbb R^m$ this notion is near to the separate continuity for which it is required only…

We study analytic and Borel subsets defined similarily to the old example of analytic complete set given by Luzin. Luzin's example, which is essentially a subset of the Baire space, is based on the natural partial order on naturals, i.e.…

Let $X = [0,1]^{n}$, $n \geq1$. We show that the typical (in the sense of Baire category) compact subset of $X$ is not only a zero dimensional Cantor space but it satisfies the property of being strongly microscopic, which is stronger than…

We study ideals $\mathcal{I}$ on $\mathbb{N}$ satisfying the following Baire-type property: if $X$ is a complete metric space and $\{X_{A} \colon A \in \mathcal{I} \}$ is a family of nowhere dense subsets of $X$ with $X_{A} \subset X_{B}$…

Let $(x_n)$ be a sequence in a Banach space $X$ which does not converge in norm, and let $E$ be an isomorphically precisely norming set for $X$ such that \[ \sum_n |x^*(x_{n+1}-x_n)|< \infty, \; \forall x^* \in E. \qquad (*) \] Then there…

It is proved that there exists an (omega-1,omega-1) Souslin gap in the Boolean algebra (L(nu)/Fin,subseteq^*_ae) for every nonseparable measure nu. Thus a Souslin, also known as destructible, (omega-1,omega-1) gap in P(N)/Fin can always be…

We prove a separable reduction theorem for sigma-porosity of Suslin sets. In particular, if A is a Suslin subset in a Banach space X, then each separable subspace of X can be enlarged to a separable subspace V such that A is sigma-porous in…

In this paper we consider a notion of nonmeasurablity with respect to Marczewski and Marczewski-like tree ideals $s_0$, $m_0$, $l_0$, and $cl_0$. We show that there exists a subset $A$ of the Baire space $\omega^\omega$ which is $s$-, $l$-,…

A function F:R^2->R is sup-measurable if F_f:R->R given by F_f(x)=F(x,f(x)), x in R, is measurable for each measurable function f:R->R. It is known that under different set theoretical assumptions, including CH, there are sup-measurable…

A set of sequences is said to converge simultaneously if there exists an infinite subset $H$ of the index set $\omega$ such that all sequences converge when restricted to $H$. We discuss simultaneous convergence of sequences in the same or…

The set of continuous or Baire class 1 functions defined on a metric space $X$ is endowed with the natural pointwise partial order. We investigate how the possible lengths of well-ordered monotone sequences (with respect to this order)…

A topological space X$ has the Frechet-Urysohn property if for each subset A of X and each element x in the closure of A, there exists a countable sequence of elements of A which converges to x. Reznichenko introduced a natural…

We show that it is consistent with ZFC that all filters which have the Baire property are Lebesgue measurable. We also show that the existence of a Sierpinski set implies that there exists a nonmeasurable filter which has the Baire…

We explore the occurrence of point configurations within non-meager (second category) Baire sets. A celebrated result of Steinhaus asserts that $A+B$ and $A-B$ contain an interval whenever $A$ and $B$ are sets of positive Lebesgue measure…

Let $U(\mathbb T)$ be the space of all continuous functions on the circle $\mathbb T$ whose Fourier series converges uniformly. Salem's well-known example shows that a product of two functions in $U(\mathbb T)$ does not always belongs to…

The notion of a shift-compact set in an abelian topological group $X$ plays a significant role in functional equations and inequalities, especially so since each Borel set that is not Haar-meagre, alternatively not Haar-null, is necessarily…

The paper deals with two issues: the existence of universal models of a theory T and related properties when cardinal arithmetic does not give this existence offhand. In the first section we prove that simple theories (e.g., theories…

An iterative optimization method applied to a function $f$ on $\mathbb{R}^n$ will produce a sequence of arguments $\{\mathbf{x}_k\}_{k \in \mathbb{N}}$; this sequence is often constrained such that $\{f(\mathbf{x}_k)\}_{k \in \mathbb{N}}$…

We show that for arbitrary linearly ordered set $X$ any bounded family of (not necessarily, continuous) real valued functions on $X$ with bounded total variation does not contain independent sequences. We obtain generalized Helly's…

For any subshift, define $F_X(n)$ to be the collection of distinct follower sets of words of length $n$ in $X$. Based on a similar result of the second and third authors, we conjecture that if there exists an $n$ for which $|F_X(n)| \leq…