Related papers: Iterates of $M_1$

Answering some of the main questions from [MR13], we show that whenever $\kappa$ is a cardinal satisfying $\kappa^{< \kappa} = \kappa > \omega$, then the embeddability relation between $\kappa$-sized structures is strongly invariantly…

We consider Riemannian metrics compatible with the natural symplectic structure on T^2 x M, where T^2 is a symplectic 2-Torus and M is a closed symplectic manifold. To each such metric we attach the corresponding Laplacian and consider its…

We prove that omega^2 strictly bounds the iterations required for modal definable functions to reach a fixed point across all countable structures. The result corrects and extends the previously claimed result by the first and third authors…

We investigate connections between resolvability and different forms of tightness. This study is adjacent to [1,2]. We construct a non-regular refinement $\tau^*$ of the natural topology of the real line $\mathbb{R}$ with properties such…

The cylindrical Hastings-Levitov$(0)$ admits a single infinite connected tree (arm). For a cylinder of width $N$, and particles of size $\lambda$, we consider the last time $\upsilon_{N, \lambda}$, that a finite tree receives a particle. We…

The finite satisfiability problem of monadic second order logic is decidable only on classes of structures of bounded tree-width by the classic result of Seese (1991). We prove the following problem is decidable: Input: (i) A monadic second…

We study connections between definability in generalized descriptive set theory and large cardinals, under ZFC. We show that if $\kappa$ is a limit of measurables then there is no wellorder of a subset of $P(\kappa)$ of length…

The Lagrange and Markov spectra $L$ and $M$ describe the best constants of Diophantine approximations for irrational numbers and binary quadratic forms. In 1880, A. Markov showed that the initial portions of these spectra coincide: indeed,…

In this paper, we study contact structures on any open 3-manifold V which is the interior of a compact 3-manifold. To do this, we introduce proper contact isotopy invariants called the slope at infinity and the division number at infinity.…

We define a weak iterability notion that is sufficient for a number of arguments concerning $\Sigma_1$-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second…

We construct a normal countably tight $T_1$ space $X$ with $t(X_\delta) >2^\omega$. This is an answer to the question posed by Dow-Juh\'asz-Soukup-Szentmikl\'ossy-Weiss. We also show that if the continuum is not so large, then the tightness…

Let $G$ be a countable branch group of automorphisms of a spherically homogeneous rooted tree. Under some assumption on finitarity of $G$, we construct, for each sequence $\omega\in\{0,1\}^\Bbb N$, an irreducible unitary representation…

We study the multiplicity of positive solutions of the critical elliptic equation: $ \Delta_{\mathbb{S}^3} U = -(U^5 +\lambda U) \hspace{0.3cm}\hbox{ on } \Omega$ that vanish on the boundary of $\Omega$, where $\Omega$ is a region of…

Let $\big(\mathcal{S}_n^{\alpha,\kappa,\mathfrak{r}}(z)\big)_{n=1}^\infty$ be a sequence of the largest possible integer intervals, such that…

We consider Galton-Watson trees with Geom$(p)$ offspring distribution. We let $T_{\infty}(p)$ denote such a tree conditioned on being infinite. We prove that for any $1/2\leq p_1 <p_2 \leq 1$, there exists a coupling between…

We will show in this paper that if $\lambda$ is very close to 1, then $$I(M,\lambda,m)= \sup_{u\in H^{1,n}_0(M) ,\int_M|\nabla u|^ndV=1}\int_\Omega (e^{\alpha_n |u|^\frac{n}{n-1}}-\lambda\sum\limits_{k=1}^m\frac{|\alpha_nu^\frac{n}{n-1}|^k}…

Suppose that $\eta$ is a whole-plane space-filling SLE$_\kappa$ for $\kappa \in (4,8)$ from $\infty$ to $\infty$ parameterized by Lebesgue measure and normalized so that $\eta(0) = 0$. For each $T > 0$ and $\kappa \in (4,8)$ we let…

We show that in the $\mathbb{P}_{\max}$ extension of a certain Chang-type model of determinacy, if $\kappa\in\{\omega_1, \omega_2, \omega_3\}$, then the restriction of the club filter on $\kappa\cap\mathrm{Cof}(\omega)$ to HOD is an…

In this paper we obtain an analogue of Toponogov theorem in dimension 3 for compact manifolds $M^3$ with nonnegative Ricci curvature and strictly convex boundary $\partial M$. Here we obtain a sharp upper bound for the length…

We give simple proofs that for a continuous local martingale M_t: 1) \liminf_{\epsilon->0} \epsilon \log Ee^{(1-\epsilon) <M>_\infty /2} < \infty ==> E\exp(M_\infty - <M>_\infty /2) = 1, 2) \liminf_{\epsilon->0} \epsilon \log\sup_{t>=0}…