Related papers: Iterates of $M_1$

We prove cut-off results for deadlocks and serializability of a $PV$-thread $T$ run in parallel with itself: For a $PV$ thread $T$ which accesses a set $\mathcal{R}$ of resources, each with a maximal capacity…

We establish decidability for the infinitely many axiomatic extensions of the commutative Full Lambek logic with weakening FLew (i.e. IMALLW) that have a cut-free hypersequent proof calculus (specifically: every analytic structural rule…

We study the strength of set-theoretic axioms needed to prove Rabin's theorem on the decidability of the MSO theory of the infinite binary tree. We first show that the complementation theorem for tree automata, which forms the technical…

Assume ZFC. Let $\kappa$ be a cardinal. Recall that a ${<\kappa}$-ground is a transitive proper class $W$ modelling ZFC such that $V$ is a generic extension of $W$ via a forcing $\mathbb{P}\in W$ of cardinality ${<\kappa}$, and the…

Answering a question which was around for some while we prove that if \pi : V -> M is such that M is transitive and closed under \omega-sequences then the core model of M is an iterate of the core model of V.

Let $(U_n)_{n=0}^\infty$ and $(V_m)_{m=0}^\infty$ be two linear recurrence sequences. For fixed positive integers $k$ and $\ell$, fixed $k$-tuple $(a_1,\dots,a_k)\in \mathbb{Z}^k$ and fixed $\ell$-tuple $(b_1,\dots,b_\ell)\in…

Let $G=(V,E)$ be a locally finite graph, $\Omega\subset V$ be a bounded domain, $\Delta$ be the usual graph Laplacian, and $\lambda_1(\Omega)$ be the first eigenvalue of $-\Delta$ with respect to Dirichlet boundary condition. Using the…

A classical theorem of Colin de Verdi\`ere shows that on a closed manifold of fixed topology one can prescribe an arbitrary finite portion of the Laplace-Beltrami spectrum (including multiplicities, subject to the usual topological…

Adapting a homotopy reconstruction theorem for general metric compacta, we show that every countable metric or ultrametric compact space can be topologically reconstructed as the inverse limit of a sequence of finite $T_0$ spaces which are…

We consider a natural Hamiltonian system with two degrees of freedom and Hamiltonian $H=\|p\|^2/2+V(q)$. The configuration space $M$ is a closed surface (for noncompact $M$ certain conditions at infinity are required). It is well known that…

Let K be a tame knot with irreducible exterior M(K) in a closed, connected, orientable 3--manifold Sigma such that pi_1(Sigma) is cyclic. If infinity is not a strict boundary slope, then the diameter of the set of strict boundary slopes of…

If $\lambda$ is a positive real number strictly less than $\log3$, there is a positive number $V_\lambda$ such that every orientable hyperbolic 3-manifold of volume greater than $V_\lambda$ admits $\lambda$ as a Margulis number. If…

We consider Galton-Watson trees with ${\rm Bin}(d,p)$ offspring distribution. We let $T_{\infty}(p)$ denote such a tree conditioned on being infinite. For $d=2,3$ and any $1/d\leq p_1 <p_2 \leq 1$, we show that there exists a coupling…

This paper shows that over infinite trees, satisfiability is decidable for weak monadic second-order logic extended by the unbounding quantifier U and quantification over infinite paths. The proof is by reduction to emptiness for a certain…

We show that in the iterated Sacks model over the constructible universe the Mansfield-Solovay Theorem holds for $\Sigma^1_3$ sets. In particular, every $\mathbf{\Sigma}^1_3$ set is Marczewski measurable and the optimal complexity for a…

Let $\kappa$ be an uncountable cardinal such that $2^{<\kappa} = \kappa$ or just ${\rm cf}(\kappa) > \omega$, $2^{2^{<\kappa}}= 2^\kappa$, and $([\kappa]^\kappa, \supseteq)$ collapses $2^\kappa$ to $\omega$. We show under these assumptions…

In this paper, we define a relative Morse complex for manifold with boundary using the handlebody decomposition of the manifold. We prove that the homology of the relative Morse complex is isomorphic to the relative singular homology.…

Suppose $M$ is a complete, embedded minimal surface in $\mathbb{R}^3$ with an infinite number of ends, finite genus and compact boundary. We prove that the simple limit ends of $M$ have properly embedded representatives with compact…

An inaccessible cardinal $\kappa$ is supercompact when $(\kappa, \lambda)$-ITP holds for all $\lambda\geq \kappa.$ We prove that if there is a model of $\ZFC$ with two supercompact cardinals, then there is a model of \ZFC where…

In this article we prove three main theorems: (1) guessing models are internally unbounded, (2) for any regular cardinal $\kappa \ge \omega_2$, $\textsf{ISP}(\kappa)$ implies that $\textsf{SCH}$ holds above $\kappa$, and (3) forcing posets…