相关论文: On Whitehead precovers

A permutoid is a set of partial permutations that contains the identity and is such that partial compositions, when defined, have at most one extension in the set. In 2004 Peter Cameron conjectured that there can exist no algorithm that…

Let $X$ be a separable Banach space, $Y$ a Banach space and $f: X \to Y$ a mapping. We prove that there exists a $\sigma$-directionally porous set $A\subset X$ such that if $x\in X \setminus A$, $f$ is Lipschitz at $x$, and $f$ is G\^ateaux…

We show that Hilbert's Tenth Problem is undecidable for complementary subrings of number fields and that the p-adic and archimedean ring versions of Mazur's conjectures do not hold in these rings. More specifically, given a number field K,…

We prove that the problem of deciding whether a given morphic sequence is uniformly recurrent is decidable. The proof uses decidability of HD0L periodicity problem, which was recently proved in papers of F.Durand and I.Mitrofanov.

We show that small quasicategories embed, both simplicially and 2-categorically, into prederivators defined on arbitrary small categories, so that in some senses prederivators can serve as a model for $(\infty,1)$-categories. The result for…

Starting from large cardinals we construct a pair $V_1\subseteq V_2$ of models of $ZFC$ with the same cardinals and cofinalities such that $GCH$ holds in $V_1$ and fails everywhere in $V_2$.

For each pair of integers g at least 2 and h at least 1, we explicitly construct infinitely many fiber sum and section sum indecomposable genus g surface bundles over genus h surfaces whose total spaces are pairwise homotopy inequivalent.

Let $f$ be a newform of even weight at least $4$, level $N$ and trivial character. Let $p\nmid N$ be an odd prime number that is ordinary for $f$ and let $K$ be an imaginary quadratic field satisfying a generalized Heegner hypothesis…

The holomorph of a discrete group $G$ is the universal semi-direct product of $G$. In chapter 1 we describe why it is an interesting object and state main results. In chapter 2 we recall the classical definition of the holomorph as well as…

In this paper, we prove that $\mathsf{ZFC+WA}_{n+1}$ implies the consistency of $\mathsf{ZFC+WA}_n$ for $n\ge 0$. We also prove that $\mathsf{ZFC+WA}_n$ is finitely axiomatizable, and $\mathsf{ZFC+WA}$ is not finitely axiomatizable.

We review results concerning homogeneous compacta and discuss some open questions. It is established that indecomposable continua are Alexandroff (resp., Mazurkiewicz, or strong Cantor) manifolds with respect to the class of all continua.…

The Suslin hypothesis states that there are no nonseparable complete dense linear orderings without endpoints which have the countable chain condition. $\mathsf{ZF + AD^+ + V = L(\mathscr{P}(\mathbb{R}))}$ proves the Suslin hypothesis. In…

Douglass B. Morris announced in 1970 that it is consistent with ZF that "For every $\alpha$, there exists a set $A_\alpha$ which is the countable union of countable sets, and $\mathcal P(A_\alpha)$ can be partitioned into $\aleph_\alpha$…

Let p be a prime and F a totally real field in which p is unramified. We consider mod p Hilbert modular forms for F, defined as sections of automorphic line bundles on Hilbert modular varieties of level prime to p in characteristic p. For a…

We give a proof of the Kunen inconsistency in ZF.

It is shown that the compositum $ \mathbb Q^{(2)}$ of all degree 2 extensions of $\mathbb Q$ has undecidable theory.

We isolate a new preservation class of Suslin forcings and prove several associated consistency results in the choiceless theory ZF+DC regarding countable chromatic numbers of various Borel hypergraphs.

We force the Axiom of Choice over the least initial segment of a Nairian model satisfying ZF. In the forcing extension, square_kappa fails at all uncountable cardinals kappa, and every regular cardinal is omega-strongly measurable in HOD,…

We prove de Cataldo-Hausel-Migliorini's P=W conjecture in arbitrary rank for parabolic Higgs bundles labeled by the affine Dynkin diagrams $\tilde{A}_0$, $\tilde{D}_4$, $\tilde{E}_6$, $\tilde{E}_7$, and $\tilde{E}_8$. Our proof relies on…

A classical theorem of Hechler asserts that the structure $\left(\omega^\omega,\le^*\right)$ is universal in the sense that for any $\sigma$-directed poset P with no maximal element, there is a ccc forcing extension in which…