Related papers: Forcings constructed along morasses

The Gap Forcing Theorem, a key contribution of this paper, implies essentially that after any reverse Easton iteration of closed forcing, such as the Laver preparation, every supercompactness measure on a supercompact cardinal extends a…

We extend the techniques in a previous paper to calculate the Heegaard Floer homology groups for fibered 3-manifolds M whose monodromy is a power of a Dehn twist about a genus-1 separating circle on a surface of genus g > 1. We only…

We prove an extension theorem for roots and logarithms of holomorphic line bundles across strictly pseudoconcave boundaries: they extend in all cases except one, when dimension and Morse index of a critical point is two. In that case we…

In our earlier paper [9], it is proved that a homogeneous rigid, traction or impedance condition on one or two intersecting line segments together with a certain zero point-value condition implies that the solution to the Lam\'e system must…

The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $\omega_1$-sequence.

We analyze the forcing notion $\mathcal P$ of finite matrices whose rows consists of isomorphic countable elementary submodels of a given structure of the form $H_{\theta}$. We show that forcing with this poset adds a Kurepa tree $T$.…

We develop an obstruction theory for Hirsch extensions of cbba's with twisted coefficients. This leads to a variety of applications, including a structural theorem for minimal cbba's, a construction of relative minimal models with twisted…

We consider embedded, smooth curves in the plane which are either closed or asymptotic to two lines. We study their behaviour under curve shortening flow with a global forcing term. Firstly, we prove an analogue to Huisken's distance…

A Hausdorff topology $\tau$ on the bicyclic monoid with adjoined zero $\mathcal{C}^0$ is called {\em weak} if it is contained in the coarsest inverse semigroup topology on $\mathcal{C}^0$. We show that the lattice $\mathcal{W}$ of all weak…

We investigate topology change in 3D. Using Morse theory and handle decomposition we find the set of elementary cobordisms for 3-manifolds. These are: (i) \O <-> S^2; (ii) \Sigma_g <-> \Sigma_{g+1}; (iii) \Sigma_{g_1} \sqcup \Sigma_{g_2}…

After introducing the different boundary geometries of rank one symmetric spaces, we state and prove Fried's theorem in the general setting of all those geometries: a closed manifold with a similarity structure is either complete or the…

We construct cross sections for the geodesic flow on the orbifolds $\Gamma\backslash H$ which are tailor-made for the requirements of transfer operator approaches to Maass cusp forms and Selberg zeta functions. Here, $H$ denotes the…

Mass generation of gauge fields can be universally described by topological couplings in gapped systems, such as the Abelian Higgs model in $(3+1)$ dimensions and the Maxwell-Chern-Simons theory in $(2+1)$ dimensions. These systems also…

This paper is an addendum to [4], in which the authors constructed a simply connected minimal complex surface of general type with p_g=0 and K^2=3. In this paper we construct a new non-simply connected minimal surface of general type with…

An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local'…

We study homologically maximizing timelike geodesics in conformally flat tori. A causal geodesic $\gamma$ in such a torus is said to be homologically maximizing if one (hence every) lift of $\gamma$ to the universal cover is arclength…

In our previous paper [SIMAX 31 n.3 1491-1506(2010)], we studied the condition metric in the space of maximal rank matrices. Here, we show that this condition metric induces a Lipschitz-Riemann structure on that space. After investigating…

Let chi be the minimum cardinal of a subset of 2^omega that cannot be made convergent by multiplication with a single Toeplitz matrix. By an application of creature forcing we show that s<chi is consistent. We thus answer a question by…

For all $n \geq 2$, we construct a metric space $(X,d)$ and a quasisymmetric mapping $f\colon [0,1]^n \rightarrow X$ with the property that $f^{-1}$ is not absolutely continuous with respect to the Hausdorff $n$-measure on $X$. That is,…

The problem of determining those multiplets of forces, or sets of force multiplets, acting at a set of points, such that there exists a truss structure, or wire web, that can support these force multiplets with all the elements of the truss…