Related papers: Cleavability over ordinals

We consider the following variation of the Scarborough-Stone problem: Is $X^\kappa$ always countably compact whenever $X$ is separable and sequentially compact?

We show that if the weak compactness of a cardinal is made indestructible by means of any preparatory forcing of a certain general type, including any forcing naively resembling the Laver preparation, then the cardinal was originally…

We prove that Hilbert space is distortable and, in fact, arbitrarily distortable. This means that for all lambda >1 there exists an equivalent norm |.| on l_2 such that for all infinite dimensional subspaces Y of l_2 there exist x,y in Y…

Motivated by the operad built from moduli spaces of Riemann surfaces, we consider a general class of operads in the category of spaces that satisfy certain homological stability conditions. We prove that such operads are infinite loop space…

A forcing extension may create new isomorphisms between two models of a first order theory. Certain model theoretic constraints on the theory and other constraints on the forcing can prevent this pathology. A countable first order theory is…

In the lambda calculus a term is solvable iff it is operationally relevant. Solvable terms are a superset of the terms that convert to a final result called normal form. Unsolvable terms are operationally irrelevant and can be equated…

This is the addendum to the paper "On the Multiplicity Problem and the Isomorphism Problem for the Four Subspace Algebra" Communications in Algebra, 40:6 (2012), 2005-2036 (DOI: 10.1080/00927872.2011.570830). We give here the full proof of…

We prove that an open manifold $M$ of dimension at least $5$ which admits a complete CAT(0) polyhedral metric is pseudo-collarable, its fundamental group at infinity is strongly perfectly semistable and has vanishing Chapman-Siebenmann…

We investigate extremal metrics at which various types of rigidity theorems involving scalar curvatures hold. The rigidity we discuss here is related to the rigidity theorems presented by Mario Listing in his previous preprint. More…

It is formulated conditions on functions $Q(x)$ and boundaries of domains under which every $Q$-homeomorphism admits continuous or homeomorphic extension to the boundary in metric spaces with measures.

We construct a hereditarily indecomposable Banach space with dual isomorphic to $\ell_1$. Every bounded linear operator on this space has the form $\lambda I+K$ with $\lambda$ a scalar and $K$ compact.

We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of…

We prove that, for every cardinal number $\alpha\geq {\mathfrak c}$, there exists a metrizable space $X$ with $|X|=\alpha$ such that for every pair of quasiorders $\leq_1$, $\leq_2$ on a set $Q$ with $|Q| \leq \alpha$ satisfying the…

We investigate categoricity of abstract elementary classes without any remnants of compactness (like non-definability of well ordering, existence of E.M. models or existence of large cardinals). We prove (assuming a weak version of GCH…

The current paper answers an open question of abs/1007.2426 We say that a countable model M characterizes an infinite cardinal kappa, if the Scott sentence of M has a model in cardinality kappa, but no models in cardinality kappa plus. If M…

Let $M$ be a compact manifold of dimension at least 2. If $M$ admits a minimal homeomorphism then $M$ admits a minimal noninvertible map.

In this article we investigate which compact spaces remain compact under countably closed forcing. We prove that, assuming the Continuum Hypothesis, the natural generalizations to $\omega_1$-sequences of the selection principle and…

In the last decade, the problem of characterizing the normability of the weighted Lorentz spaces has been completely solved (\cite{Sa}, \cite{CaSoA}). However, the question for multidimensional Lorentz spaces is still open. In this paper,…

We characterize those spacetimes which admit a isometric (or conformal) embedding in some Lorentz-Minkowski space L^N. In particular, any globally hyperbolic spacetime can be isometrically embedded in L^N. This is proven by a result of its…

The set of all transformation monoids on a fixed set of infinite cardinality \lambda, equipped with the order of inclusion, forms a complete algebraic lattice Mon(\lambda) with 2^{\lambda} compact elements. We show that this lattice is…