Related papers: Square Compactness and the filter extension proper…
We investigate the statement "the order topology of every countable complete linear order is compact" in the framework of reverse mathematics, and we find that the statement's strength depends on the precise formulation of compactness. If…
In this paper for each cardinal $\kappa$ we construct an infinite $\kappa$-bounded (and hence countably compact) regular space $R_{\kappa}$ such that for any $T_1$ space $Y$ of pseudo-character $\leq\kappa$, each continuous function…
To appear in J. Funct. Spaces and Appl.
We prove that if $K$ is a compact space and the space $P(K\times K)$ of regular probability measures on $K\times K$ has countable tightness in its $weak^*$ topology, then $L_1(\mu)$ is separable for every $\mu\in P(K)$. It has been known…
In 1974, Witsenhausen asked for the maximum possible density $\alpha_n$ of a measurable subset $A$ of the unit sphere $\mathbb{S}^{n-1}\subset \mathbb{R}^n$ such that $A$ contains no pair of orthogonal vectors. For $n=3$, the best known…
In the first part of the paper, we show that if $\omega \le \kappa < \lambda$ are cardinals, $\kappa^{<\kappa} = \kappa$, and $\lambda$ is weakly compact, then in $V[\M(\kappa,\lambda)]$ the tree property at $\lambda =…
Let $E$ be a Banach space such that $E'$ has the Radon-Nikod\'ym property. The aim of this work is to connect relative weak compactness in the $E$-valued martingale Hardy space $H^{1}(\mu,E)$ to a convex compactness criterion in a weaker…
In this paper, we study a class of Banach spaces, called \phi-spaces. In a natural way, we associate a measure of weak compactness in such spaces and prove an analogue of Sadovskii fixed point theorem for weakly sequentially continuous…
From a suitable large cardinal hypothesis, we provide a model with a supercompact cardinal in which universal indestructibility holds: every supercompact and partially supercompact cardinal kappa is fully indestructible by kappa-directed…
We consider the following variation of the Scarborough-Stone problem: Is $X^\kappa$ always countably compact whenever $X$ is separable and sequentially compact?
The first author introduced a measure of compactness for families of sets, relative to a class of filters, in the context of convergence approach spaces. We characterize a variety of maps (types of quotient maps, closed maps, and variants…
We show that if a $CD(K,n)$ space $(X,d,f\mathcal{H}^n)$ with $n\geq 2$ has curvature bounded from above by $\kappa$ in the sense of Alexandrov then $f=const$.
Saturation is (mu,kappa)-transferable in T if and only if there is an expansion T_1 of T with |T_1| = |T| such that if M is a mu-saturated model of T_1 and |M| \geq kappa then the reduct M|L(T) is kappa-saturated. We characterize theories…
We prove a quantitative version of a sharp integral inequality by Hang, Wang, and Yan for both the Poisson operator and its adjoint. Our result has the strongest possible norm and the optimal stability exponent. This stability exponent is…
We denote by kappa the implicit signature that contains the multiplication and the (omega-1)-power. It is proved that for any completely kappa-reducible pseudovariety of groups H, the pseudovariety DRH of all finite semigroups whose regular…
Dobrinen, Hathaway and Prikry studied a forcing $\mathbb{P}_\kappa$ consisting of perfect trees of height $\lambda$ and width $\kappa$ where $\kappa$ is a singular $\omega$-strong limit of cofinality $\lambda$. They showed that if $\kappa$…
We prove that if $p$ is a selective ultrafilter then ${\mathbb Q}^{(\kappa)}$ has a $p$-compact group topology without non-trivial convergent sequences, for each infinite cardinal $\kappa =\kappa^\omega$. In particular, this gives the first…
We generalize the results from "P. Lipparini, Productive $[\lambda,\mu]$-compactness and regular ultrafilters, Topology Proceedings, 21 (1996), 161--171"; in particular the present results apply to singular cardinals, too.
We show that if M is a stable unsuperstable homogeneous structure, then for most kappa < |M|, the number of elementary submodels of M of power kappa is 2^kappa .
We prove that for any regular kappa and mu > kappa below the first fix point (lambda = aleph_lambda) above kappa, there is a graph with chromatic number > kappa, and mu^kappa nodes but every subgraph of cardinality < mu has chromatic number…