Related papers: Mycielski among trees
A set $M\subset\mathbb{R}$ is microscopic if for each $\varepsilon>0$ there is a sequence of intervals $(J_n)_{n\in\omega}$ covering $M$ and such that $|J_n|\leq \varepsilon^{n+1}$ for each $n\in\omega$. We show that there is a microscopic…
Let X be a projective variety, $\sigma$ an automorphism of X, L a $\sigma$-ample invertible sheaf on X, and Z a closed subscheme of X. Inside the twisted homogeneous coordinate ring $B = B(X, L, \sigma)$, let I be the right ideal of…
We introduce a model of the set of all Polish (=separable complete metric) spaces: the cone $\cal R$ of distance matrices, and consider geometric and probabilistic problems connected with this object. The notion of the universal distance…
We study a modified version of Lerman-Whitehouse Menger-like curvature defined for m+2 points in an n-dimensional Euclidean space. For 1 <= l <= m+2 and an m-dimensional subset S of R^n we also introduce global versions of this discrete…
Though the uniformization theorem guarantees an equivalence of Riemann surfaces and smooth algebraic curves, moving between analytic and algebraic representations is inherently transcendental. Our analytic curves identify pairs of circles…
In this paper, we study the partition theory over totally real number fields. Let $K$ be a totally real number field. A partition of a totally positive algebraic integer $\delta$ over $K$ is $\lambda=(\lambda_1,\lambda_2,\ldots,\lambda_r)$…
We study the relationship between several constructions of symplectic realizations of a given Poisson manifold. Our main result is a general formula for a formal symplectic realization in the case of an arbitrary Poisson structure on…
Starting with two supercompact cardinals we produce a generic extension of the universe in which a principle that we call ${\rm GM}^+(\omega_3,\omega_1)$ holds. This principle implies ${\rm ISP}(\omega_2)$ and ${\rm ISP}(\omega_3)$, and…
The Golomb-Welch conjecture states that there are no perfect $e$-error-correcting Lee codes in $\mathbb{Z}^n$ ($PL(n,e)$-codes) whenever $n\geq 3$ and $e\geq 2$. A special case of this conjecture is when $e=2$. In a recent paper of A.…
Courcelle's Theorem states that on graphs $G$ of tree-width at most $k$ with a given tree-decomposition of size $t(G)$, graph properties $\mathcal{P}$ definable in Monadic Second Order Logic can be checked in linear time in the size of…
Generic absoluteness is the phenomenon that certain truths in the set-theoretic universe remain stable under forcing expansions. A classical result by Kripke asserts that every complete Boolean algebra completely embeds into a countably…
A quasiconformal tree is a doubling metric tree in which the diameter of each arc is bounded above by a fixed multiple of the distance between its endpoints. In this paper we show that every quasiconformal tree bi-Lipschitz embeds in some…
Define (*) There exists $(\phi_n:\omega_1\to \omega_1:n<\omega)$ such that for every uncountable $I$ which is a subset of $\omega_1$ there exists $n$ such that $\phi_n$ maps $I$ onto $\omega_1$. This is roughly what Sierpinski in his book…
Steiner and Schwarz symmetrizations, and their most important relatives, the Minkowski, Minkowski-Blaschke, fiber, inner rotational, and outer rotational symmetrizations, are investigated. The focus is on the convergence of successive…
A theorem of Grove and Searle directly establishes that positive curvature 2d manifolds M with effective circular symmetry group of dimension 8 or less have positive Euler characteristic X(M): the fixed point set N consists of even…
We prove that if a complete connected $n$-dimensional Riemannian manifold $M$ has radial sectional curvature at a base point $p\in M$ bounded from below by the radial curvature function of a two-sphere of revolution $\widetilde M$ belonging…
We construct a version of rational Symplectic Field Theory for pairs $(X,L)$, where $X$ is an exact symplectic manifold, where $L\subset X$ is an exact Lagrangian submanifold with components subdivided into $k$ subsets, and where both $X$…
We work in the Cantor space $2^\omega$. The results of the paper adhere the following pattern. Let $\mathcal{I}\in \{\mathcal{M}, \mathcal{N}, \mathcal{M}\cap \mathcal{N}, \mathcal{E}\}$ and $T$ be a perfect, uniformly perfect or Silver…
We show that any total preorder on a set with $\binom{n}{2}$ elements coincides with the order on pairwise distances of some point collection of size $n$ in $\mathbb{R}^{n-1}$. For linear orders, a collection of $n$ points in…
Garret Birkhoff's HSP theorem characterizes the classes of models of algebraic theories as those being closed with respect to homomorphic images, subalgebras, and products. In particular, it implies that an algebra $\mathbf{B}$ satisfies…