Related papers: Ordering A Square

We prove that every self-homeomorphism on the inverse limit space of a quadratic map is isotopic to some power of the shift map.

We prove that partially ordered set has finite number of finite-dimensional indecomposable nonequivalent Hilbert representations with orthoscalarity condition if and anly if it has finite number of indecomposable linear representations. We…

It is shown that for any Baire space $X$, linearly ordered compact $Y$ and separately continuous mapping $f:X\times Y\to\mathbb R$ there exists a dense in $X$ $G_\delta$-set $A\subseteq X$ such that $f$ is jointly continuous at every point…

Given an ordered structure, we study a natural way to extend the order to preorders on type spaces. For definably complete, linearly ordered structures, we give a characterisation of the preorder on the space of 1-types. We apply these…

We give a forcing construction of the square principle on omega_1 using forcing with conditions whose domain is finite.

We prove that every infinite-dimensional (locally convex) linear topological space that can be expressed as a direct limit of finite-dimensional metrizable compacta is (linearly) homeomorphic to the space $R^\infty=\dlim R^n$.

In this paper we show that if X is an infinite compactum cleavable over an ordinal, then X must be homeomorphic to an ordinal. X must also therefore be a LOTS. This answers two fundamental questions in the area of cleavability. We also…

Given a scheme $X$ over $\mathbb{Z}$ and a hyperfield $H$ which is equipped with topology, we endow the set $X(H)$ of $H$-rational points with a natural topology. We then prove that; (1) when $H$ is the Krasner hyperfield, $X(H)$ is…

It is shown that an ordered vector space $X$ is Archimedean if and only if $\inf\limits_{\tau\in\{\tau\}, y\in L}(x_\tau -y) \ = 0$ for any bounded decreasing net $x_\tau\downarrow$ in $X$, where $L$ is the collection of all lower bounds of…

In this short note, we give a new sufficient condition for a linear map from a product of copies of a field to endomorphisms of a finite dimensional vector space over the same field to be an algebra homomorphism. We expect that this result…

Let X and Y be CW-complexes, U be an abelian group, and f:[X,Y]->U be a map (a homotopy invariant). We say that f has order at most r if the characteristic function of the r'th Cartesian power of the graph of a continuous map a:X->Y…

We show that every affine or projective algebraic variety defined over the field of real or complex numbers is homeomorphic to a variety defined over the field of algebraic numbers. We construct such a homeomorphism by choosing a small…

We introduce the space of relative orders on a group and show that it is compact whenever the group is finitely generated. We use this to show that if $G$ is a finitely generated group acting by order preserving homeomorphism of on the…

The shuffle of a non-empty countable set $ S $ of linear orders is the (unique up to isomorphism) linear order $ \Xi(S) $ obtained by fixing a coloring function $ \chi: \mathbb{Q} \to S $ having fibers dense in $ \mathbb{Q} $ and replacing…

We show that, for every linear ordering of $[2]^n$, there is a large subcube on which the ordering is lexicographic. We use this to deduce that every long sequence contains a long monotone subsequence supported on an affine cube. More…

We show that every filter $\mathcal{F}$ on $\omega$, viewed as a subspace of $2^\omega$, is homeomorphic to $\mathcal{F}^2$. This generalizes a theorem of van Engelen, who proved that this holds for Borel filters.

Ordered, linear, and other substructural type systems allow us to expose deep properties of programs at the syntactic level of types. In this paper, we develop a family of unary logical relations that allow us to prove consequences of…

We prove that if X is an infinite dimensional Banach lattice with a weak unit then there exists a probability space (Omega, Sigma,mu) so that the unit sphere S(L_1(Omega, Sigma, mu) is uniformly homeomorphic to the unit sphere S(X) if and…

Suppose that a topological space $X$ is the union of an increasing sequence of open subsets each of which is homeomorphic to the Euclidean space $R^n$. Then $X$ itself is homeomorphic to $R^n$. This is an old theorem of Morton Brown. We…

Recently, David S. Lipham has shown that if $X$ is an Erd\H{o}s space factor then the Vietoris hyperspace $\mathcal{F}(X)$ of finite subsets of $X$ is an Erd\H{o}s space factor. In this short note we prove that if $\mathfrak{E}$ denotes…