English
Related papers

Related papers: Covering with Chang models over derived models

200 papers

Central to the theory of special cube complexes is Haglund and Wise's construction of the canonical completion and retraction, which enables one to build finite covers of special cube complexes in a highly controlled manner. In this paper…

Group Theory · Mathematics 2022-08-10 Sam Shepherd

Konig's theorem states that the covering number and the matching number of a bipartite graph are equal. We prove a generalisation of this result, in which each point in one side of the graph is replaced by a subtree of a given tree. The…

Combinatorics · Mathematics 2007-05-23 Ron Aharoni , Eli Berger , Ran Ziv

In this paper we give a new and simplified proof of the variational Hodge conjecture for complete intersection cycles on a hypersurface in projective space.

Algebraic Geometry · Mathematics 2023-10-10 Remke Kloosterman

In this paper, we prove that: if $\kappa$ is supercompact and the $\mathsf{HOD}$ Hypothesis holds, then there is a proper class of regular cardinals in $V_{\kappa}$ which are measurable in $\mathsf{HOD}$. Woodin also proved this result. As…

Logic · Mathematics 2025-10-02 Yong Cheng

We deal with (< kappa)-supported iterated forcing notions which are (E_0,E_1)-complete, have in mind problems on Whitehead groups, uniformizations and the general problem. We deal mainly with the successor of a singular case. This continues…

Logic · Mathematics 2016-09-07 Saharon Shelah

We propose a new method, using deformation theory, to study the maximal rank conjecture. For line bundles of extremal degree, which can be viewed as the first case to test the conjecture, we prove that maximal rank conjecture holds by our…

Algebraic Geometry · Mathematics 2010-04-08 Jie Wang

Suppose there is a Reinhardt cardinal. Then (1) $M_n(X)$ exists and is fully iterable (above $X$) for every transitive set $X$ and every $n<\omega$ (here $M_n(X)$ denotes the canonical minimal proper class inner model containing $X$ and…

Logic · Mathematics 2024-02-07 Farmer Schlutzenberg

This paper analyzes full HOD of natural models of AD^+ under a certain smallness assumption of the models. This assumption is made to utilize Sargsyan's work on the theory of hod mice. We show that HOD is a fine-structural model and in…

Logic · Mathematics 2013-09-03 Nam Trang

We are interested in generalizing part of the theory of ultrafilters on omega to larger cardinals. Here we set the scene for further investigations introducing properties of ultrafilters in strong sense dual to being normal.

Logic · Mathematics 2007-05-23 Saharon Shelah

Given a bridgeless graph G, the well-known cycle double cover conjecture posits that there is a list of cycles of G, such that every edge appears in exactly two cycles. In this paper, we prove the cycle double cover conjecture. More…

Combinatorics · Mathematics 2018-11-22 A. Alipour , A. Tayebi

A doubling chart on an $n$-dimensional complex manifold $Y$ is a univalent analytic mapping $\psi:B_1\to Y$ of the unit ball in $\mathbb{C}^n$, which is extendible to the (say) four times larger concentric ball of $B_1$. A doubling covering…

Classical Analysis and ODEs · Mathematics 2017-08-03 Omer Friedland , Yosef Yomdin

We consider the problem of covering multiple submodular constraints. Given a finite ground set $N$, a cost function $c: N \rightarrow \mathbb{R}_+$, $r$ monotone submodular functions $f_1,f_2,\ldots,f_r$ over $N$ and requirements…

Data Structures and Algorithms · Computer Science 2025-09-04 Tanvi Bajpai , Chandra Chekuri , Pooja Kulkarni

It is consistent (relative to ZFC) that the union of max{b,g} many families in the Baire space which are not finitely dominating is not dominating. In particular, it is consistent that for each nonprincipal ultrafilter U, the cofinality of…

Logic · Mathematics 2010-11-02 Heike Mildenberger , Saharon Shelah , Boaz Tsaban

Let $P$ be the image of a period map. We discuss progress towards a conjectural Hodge theoretic completion $\overline{P}$, an analogue of the Satake-Baily-Borel compactification in the classical case. The set $\overline{P}$ is defined and…

Algebraic Geometry · Mathematics 2023-08-16 Mark Green , Phillip Griffiths , Radu Laza , Colleen Robles

In this paper we consider the class $\mathcal{P}_1(R)$ of modules of projective dimension at most one over a commutative ring $R$ and we investigate when $\mathcal{P}_1(R)$ is a covering class. More precisely, we investigate Enochs'…

Commutative Algebra · Mathematics 2020-01-30 Silvana Bazzoni , Giovanna Le Gros

Update: The Cosmetic Surgery Conjecture modulo finitely many Dehn-filling coefficients has been a well-known classical result, so the first main result of this paper is not new. (But the author was initially unaware of this fact, and the…

Geometric Topology · Mathematics 2019-04-01 BoGwang Jeon

In this note we extend a theorem from [13] about uniform circle random coverings

Probability · Mathematics 2025-01-28 D. Karagulyan

Starting from large cardinals we construct a model of $ZFC$ in which the $GCH$ fails everywhere, but such that $GCH$ holds in its $HOD$. The result answers a question of Sy Friedman. Also, relative to the existence of large cardinals, we…

Logic · Mathematics 2015-12-22 Mohammad Golshani

The strong cycle double cover conjecture states that for every circuit $C$ of a bridgeless cubic graph $G$, there is a cycle double cover of $G$ which contains $C$. We conjecture that there is even a 5-cycle double cover $S$ of $G$ which…

Combinatorics · Mathematics 2012-11-12 Arthur Hoffmann-Ostenhof

We approach the cycle double cover conjecture by looking for a circular 2-cell embedding of cubic graphs on an arbitrary surface. It is easy to see that if such an embedding exists, we can get to it from an arbitrary starting 2-cell…

Combinatorics · Mathematics 2026-05-05 Babak Ghanbari , Robert Šámal