Related papers: A minimal Kurepa line

Associated with isoparametric foliations of unit spheres, there are two classes of minimal surfaces $-$ minimal isoparametric hypersurfaces and focal submanifolds. By virtue of their rich structures, we find new series of minimizing cones.…

We prove some uniqueness results for conics of minimal area that enclose a compact, full-dimensional subset of the elliptic plane. The minimal enclosing conic is unique if its center or axes are prescribed. Moreover, we provide sufficient…

We prove that in the Cohen extension adding $\aleph_3$ generic reals to a model of $ZFC+CH$ containing a simplified $(\omega_1,2)$-morass, gap-2 morass-definable $\eta_1$-orderings with cardinality $\aleph_3$ are order-isomorphic. Hence it…

In this paper, we study the well extension of strict(irreflective) partial well orderings. We first prove that any partially well-ordered structure <A, R> can be extended to a well-ordered one. Then we prove that every linear extension of…

We show that it is consistent with ZFC that every compact group has a non-Haar-measurable subgroup. In addition, we demonstrate a natural construction, and we conjecture that this construction always produces a non-measurable subgroup of a…

A group in which every element commutes with its endomorphic images is called an $E$-group. If $p$ is a prime number, a $p$-group $G$ which is an $E$-group is called a $pE$-group. Every abelian group is obviously an $E$-group. We prove that…

We prove that in every metric space where no line contains all the points, there are at least $\Omega(n^{2/3})$ lines. This improves the previous $\Omega(\sqrt{n})$ lower bound on the number of lines in general metric space, and also…

We show that the order dimension of the partial order of all finite subsets of $\kappa$ under set inclusion is ${\log}_{2}({\log}_{2}(\kappa))$ whenever $\kappa$ is an infinite cardinal. We also show that the order dimension of any locally…

We study locally compact groups having all dense subgroups (locally) minimal. We call such groups densely (locally) minimal. In 1972 Prodanov proved that the infinite compact abelian groups having all subgroups minimal are precisely the…

We give a purely category-theoretic proof of the result of Makkai and Par\'e saying that the category $\bf Lin$ of linearly ordered sets and order preserving injective mappings is a minimal finitely accessible category. We also discuss the…

We prove that for any weakly convergent sequence of finite graphs with bounded vertex degrees, there exists a topological limit graphing.

We show that the existence of a Suslin tree does not necessarily imply that there are uncountable minimal linear orders other than $\omega_1$ and $-\omega_1$, answering a question of J. Baumgartner. This is done by a Jensen-type iteration,…

We prove that the complement of a toric arrangement has the homotopy type of a minimal CW complex. As a corollary we obtain that the integer cohomology of these spaces is torsion free. We use Discrete Morse Theory, providing a sequence of…

We establish spherical variants of the Gleason-Kahane-Zelazko and Kowalski-S{\l}odkowski theorems, and we apply them to prove that every weak-2-local isometry between two uniform algebras is a linear map. Among the consequences, we solve a…

Let Z be a subvariety of the moduli space of principally polarised abelian varieties of dimension g over the complex numbers. Suppose that Z contains a Zariski dense set of points which correspond to abelian varieties from a single isogeny…

We show that if the real line is the disjoint union of kappa meager sets such that every meager set is contained in a countable union of them, then kappa = omega_1. This answers a question addressed by J. Cichon. We also prove two theorems…

Let H be a countable subgroup of the metrizable compact abelian group G and f:H -> T=R/Z a (not necessarily continuous) character of H. Then there exists a sequence (chi_n)_n of (continuous) characters of G such that lim_n chi_n(alpha) =…

Let $\De$ be a non-degenerate simplex on $k$ vertices. We prove that there exists a threshold $s_k<k$ such that any set $A\subs \R^k$ of Hausdorff dimension $dim\,A\geq s_k$ necessarily contains a similar copy of the simplex $\De$.

It is a well known open problem if, in ZFC, each compact space with a small diagonal is metrizable. We explore properties of compact spaces with a small diagonal using elementary chains of submodels. We prove that ccc subspaces of such…

It is shown that for any Baire space $X$, linearly ordered compact spaces $Y_1,\dots, Y_n$, compact space $Y\subseteq Y_1\times\cdots \times Y_n$ such that for every parallelepiped $W\subseteq Y_1\times\cdots \times Y_n$ the set $Y\cap W$…