Related papers: Mycielski among trees

A Gorenstein A-algebra R of codimension 2 is a perfect finite A-algebra such that R=Ext^2(R,A) holds as R-modules, A being a Cohen-Macaulay local ring with dim(A)-dim_A(R)=2. I prove a structure theorem for these algebras improving on an…

We consider Minkowski spacetime, the set of all point-events of spacetime under the relation of causal accessibility. That is, ${\sf x}$ can access ${\sf y}$ if an electromagnetic or (slower than light) mechanical signal could be sent from…

The Menichetti-Kaplansky theorem states that a finite semifield that is three-dimensional over its center is either a field or a twisted field of Albert. This implies that a quadratic homogeneous bijection of $\mathbb{P}^2(\mathbb{F}_q)$ is…

A theorem of Kaplansky asserts that a semigroup of matrices with entries from a field whose members all have singleton spectra is triangularizable. Indeed, Kaplansky's Theorem unifies well-known theorems of Kolchin and Levitzki on…

We generalize the Fenchel theorem for strong spacelike closed curves of index $1$ in the 3-dimensional Minkowski space, showing that the total curvature must be less than or equal to $2\pi$. Here strong spacelike means that the tangent…

We show that after forcing with a countable support iteration or a finite product of Sacks or splitting forcing over $L$, every analytic hypergraph on a Polish space admits a $\mathbf{\Delta}^1_2$ maximal independent set. As a main…

We prove that all Sierpi\'nski spaces in ${\mathbb{S}}^n$, $n\geq 2$, are non-removable for (quasi)conformal maps, generalizing the result of the first named author arXiv:1809.05605. More precisely, we show that for any Sierpi\'nski space…

A perfect structure is a triple $(M,P,S)$ of matrices $M, P$ and $S$ of consistent sizes such that $MP = PS$. Perfect structures comprise similar matrices, eigenvectors, perfect colorings (equitable partitions) and graph coverings. In this…

By Koebe's retrosection theorem, every closed Riemann surface of genus $g \geq 2$ is uniformized by a Schottky group. Marden observed that there are Schottky groups that are not classical ones, that is, they cannot be defined by a suitable…

We show that, if a $n$-vertex triangulation $T$ of maximum degree $\Delta$ has a dual that contains a cycle of length $\ell$, then $T$ has a non-crossing straight-line drawing in which some \emph{collinear set} of $\Omega(\ell/\Delta^4)$…

A $k_\omega$-space $X$ is a Hausdorff quotient of a locally compact, $\sigma$-compact Hausdorff space. A theorem of Morita's describes the structure of $X$ when the quotient map is closed, but in 2010 a question of Arkhangel'skii's…

Let $\mathbb{F}_q$ be a finite field of order $q$. Iosevich and Rudnev (2005) proved that for any set $A\subset \mathbb{F}_q^d$, if $|A|\gg q^{\frac{d+1}{2}}$, then the distance set $\Delta(A)$ contains a positive proportion of all…

The classical Reifenberg's theorem says that a set which is sufficiently well approximated by planes uniformly at all scales is a topological H\"older manifold. Remarkably, this generalizes to metric spaces, where the approximation by…

In this paper we consider nonmeasurablity with respect to sigma-ideals defined be trees. First classical example of such ideal is Marczewski ideal s_0. We will consider also ideal l_0 defined by Laver trees and m_0 defined by Miller trees.…

We characterise all linear maps $\mathcal{A}\colon\mathbb{R}^{n\times n}\to\mathbb{R}^{n\times n}$ such that, for $1\leq p<n$, \begin{align*} \|P\|_{L^{p^{*}}(\mathbb{R}^{n})}\leq…

The following results are proved: Theorem 1. A totally real semiparallel submanifold of constant curvature with parallel f-structure in the normal bundle of a K\"ahler manifold N is flat or a totally geodesic submanifold of N. Theorem 2. A…

Let $f:\mathbb{P}^1\to\mathbb{P}^1$ be a rational map of degree $d\geq2$ defined over a number field $K$ and let $\alpha\in\mathbb{P}^1(K)$. We consider the lower and upper Minkowski dimensions of the arboreal Galois group $G_{f,\alpha}$…

$\Delta$-spaces have been defined by a natural generalization of a classical notion of $\Delta$-sets of reals to Tychonoff topological spaces; moreover, the class $\Delta$ of all $\Delta$-spaces consists precisely of those $X$ for which the…

Suppose $A=k[X_1, X_2, \ldots, X_n]$ is a polynomial ring over a field $k$ and $I$ is an ideal in $A$. Then M. P. Murthy conjectured that $\mu(I)=\mu(I/I^2)$, where $\mu$ denotes the minimal number of generators. Recently, Fasel \cite{F}…

Let k be a definable L-cardinal. Then there is a set of reals X, class-generic over L, such that L(X) and L have the same cardinals, X has size k in L(X) and some pi-1-2 formula defines X in all set-generic extensions of L(X). Two…