Related papers: Ordering A Square

For a geometrically rational surface X over an arbitrary field of characteristic different from 2 and 3 that contains all roots of 1, we show that either X is birational to a product of a projective line and a conic, or the group of…

Linear topological spaces with partial ordering (linear kinematics) are studied. They are defined by a set of 8 axioms implying that topology, linear structure and ordering are compatible with each other. Most of the results are valid for…

A separable Banach space $X$ is said to be finitely determined if for each separable space $Y$ such that $X$ is finitely representable (f.r.) in $Y$ and $Y$ is f.r. in $X$ then $Y$ is isometric to $X$. We provide a direct proof (without…

Let $k$ be any field and $k^s$ its separable closure. Let $X$ be an affine variety over $k$ which is isomorphic to affine $n$-space over the field extension $k^s$. Then $X$ is isomorphic to affine $n$ space over $k$.

We prove that subharmonic functions of finite order on finite dimensional real space, bounded from above outside of some asymptotically small sets on spheres, are bounded from above everywhere. It follows that subharmonic functions of…

We show that every unstable NIP theory admits a V-definable linear quasi-order, over a finite set of parameters. In particular, if the theory is omega-categorical, then it interprets an infinite linear order. This partially answers a…

We prove that (apart from dimension $n=4$), each Riemannian solenoidal lamination with transitive homeomorphism group and leaves isometric to a symmetric space $X$ of noncompact type, is homeomorphic to the inverse limit of the system of…

We give a definition for a rank-1 homeomorphism of a zero-dimensional Polish space X. We show that if a rank-1 homeomorphism of X satisfies a certain non-degeneracy condition, then it has trivial centralizer in the group of all…

An orthogonality space is a set together with a symmetric and irreflexive binary relation. Any linear space equipped with a reflexive and anisotropic inner product provides an example: the set of one-dimensional subspaces together with the…

Following results of Bourgain and Gorelik we show that the spaces $\ell_p$, $1<p<\infty$, as well as some related spaces have the following uniqueness property: If $X$ is a Banach space uniformly homeomorphic to one of these spaces then it…

The topology of a space $X$ is generated by a family $\mathcal{C}$ of its subsets provided that a set $A\subseteq X$ is closed in $X$ if and only if $A\cap C$ is closed in $C$ for each $C\in \mathcal{C}$. A space $X$ is a $k$-space…

We consider a formal power series in one variable whose coefficients are holomorphic functions in a given multidimensional complex domain. Assume the following two conditions on the series. (C1) The restriction of the series at each point…

In this paper, we present a new necessary and sufficient condition for which the supremum exists with respect to the logic order. Moreover, we give out a new and much simpler representation of the supremum with respect to the order, our…

We give a proof of the celebrated stability theorem of Perelman stating that for a noncollapsing sequence $X_i$ of Alexandrov spaces with curvature bounded below Gromov-Hausdorff converging to a compact Alexandrov space $X$, $X_i$ is…

We present results about the Cantor-Bendixson index of some subspaces of a uniform family F of finite subsets of natural numbers with respect to the lexicographic order topology. As a corollary of our results we get that for any…

It is shown that a specific ordering of the Rademacher chaos leads to a basic sequence in a wide class of symmetric spaces on the segment [0,1]. Necessary and sufficient conditions on a such space are found for Rademacher chaos to possess…

A (generalized) topological space is called an iso-dense space if the set of all its isolated points is dense in the space. The main aim of the article is to show in $\mathbf{ZF}$ a new characterization of iso-dense spaces in terms of…

When a linear order has an order preserving surjection onto each of its suborders we say that it is strongly surjective. We prove that the set of countable strongly surjective linear orders is complete for the class of sets which are the…

Let $X$ be a set and $2^X$ be a set of all subsets of $X$. The necessary and sufficient conditions under which a mapping $X \to 2^X$ is a closure of one-point sets in some $T_0$-space $(X, \tau)$ are described. It is proved that every…

We give a simple proof of the title.