Related papers: Forbidden rectangles in compacta

We use Shelah's theory of possible cofinalities in order to solve a problem about ultrafilters. THEOREM. Suppose that $ \lambda $ is a singular cardinal, $ \lambda ' < \lambda $, and the ultrafilter $D$ is $ \kappa $-decomposable for all…

In a previous paper, we obtained a cohomological obstruction to the existence of compact manifolds locally modelled on a homogeneous space. In this paper, we give a classification of the semisimple symmetric spaces to which this obstruction…

For any cardinal number $\kappa$ and an index set $\Gamma$, $\Sigma_\kappa$-product of real lines consists of elements of ${\mathbb R}^\Gamma$ having $<\kappa$ nonzero coordinates. A compact space $K$ is $\kappa$-Corson compact if it can be…

We investigate the structure of $\omega$-limit (resp. $\alpha$-limit) sets for a monotone map $f$ on a regular curve $X$. %Let $X$ be a regular curve and let $f: X\longrightarrowX$ be a monotone map. We show that for any $x\in X$ (resp. for…

This paper proves that there are no compact forms for a large class of homogeneous spaces admitting actions by higher-rank semisimple Lie groups. It builds on Zimmer's approach for studying such spaces using cocycle superrigidity. The proof…

In 1974, Federer proved that all area-minimizing hypersurfaces on orientable manifolds were calibrated by weakly closed differential forms. However, in this manuscript, we prove the contrary in higher codimensions: calibrated…

We introduce a new class of ultrafilters which generalizes the well-known class of simple $P$-point ultrafilters. We prove that for any well-founded $\sigma$-directed partial order $\mathbb{D}$ there is a mild forcing extension where there…

We discuss some notions of compactness and convergence relative to a specified family F of subsets of some topological space X. The two most interesting particular cases of our construction appear to be the following ones. (1) The case in…

We show that in the $\mathbb{P}_{\max}$ extension of a certain Chang-type model of determinacy, if $\kappa\in\{\omega_1, \omega_2, \omega_3\}$, then the restriction of the club filter on $\kappa\cap\mathrm{Cof}(\omega)$ to HOD is an…

We show that if a compact complex surface admits a locally conformally flat metric, then it cannot contain a smooth rational curve of odd self-intersection. In particular, the surface has to be minimal. Then we give a list of possibilities…

In the first part of this paper, we explore the possibility for a very large cardinal $\kappa$ to carry a $\kappa$-complete ultrafilter without Galvin's property. In this context, we prove the consistency of every ground model…

Finite rank median spaces are a simultaneous generalisation of finite dimensional ${\rm CAT}(0)$ cube complexes and real trees. If $\Gamma$ is an irreducible lattice in a product of rank one simple Lie groups, we show that every action of…

We show that in extender models there are no generic embeddings with critical point $\omega_1$ that resemble the stationary tower at the second Woodin cardinal.

We give another proof that for every lambda >= beth_omega for every large enough regular kappa < beth_omega we have lambda^{[kappa]}= lambda, dealing with sufficient conditions for replacing beth_omega by aleph_omega. In section 2 we show…

In this paper, we presented a new type of metric space called $(\alpha,\beta)$-metric space along with some novel contraction mappings named $(\alpha,\beta)$-contraction and weak $(\alpha,\beta)$-contraction mapping. We established some…

On page 43 in \cite{Po83} Sorin Popa asked whether the following property holds: \emph{If $\omega$ is a free ultrafilter on $\mathbb N$ and $\mathcal R_1\subseteq \mathcal R$ is an irreducible inclusion of hyperfinite II$_1$ factors such…

For a variety $\mathcal{V}$, it has been recently shown that binary products commute with arbitrary coequalizers locally, i.e., in every fibre of the fibration of points $\pi: \mathrm{Pt} (\mathbb{C}) \rightarrow \mathbb{C}$, if and only if…

We establish that if it is consistent that there is a supercompact cardinal, then it is consistent that every locally compact, hereditarily normal space which does not include a perfect pre-image of omega_1 is hereditarily paracompact.

A cohesive power of a computable structure is an effective ultrapower where a cohesive set acts as an ultrafilter. Let $\omega$, $\zeta$, and $\eta$ denote the respective order-types of the natural numbers, the integers, and the rationals.…

In this note, we give the affirmative answer of the question in [18], which is a compactness result of the non-radial Sobolev spaces. As an application, we show the existence of an extremal function of the critical Hardy inequality under…