相关论文: Existence in NSOP$_1$ theories

We prove that the homotopy theory of $N_\infty$ operads is equivalent to a homotopy theory of discrete operads, and we construct free and associative operadic realizations of every indexing system. This resolves a conjecture of Blumberg and…

We prove the Simons-Johnson theorem for the sums $S_n$ of $m$-dependent random variables, with exponential weights and limiting compound Poisson distribution $\CP(s,\lambda)$. More precisely, we give sufficient conditions for…

This paper discussed the global existence of the smoothing solution for the Navier-Stokes equations. At first, we construct the theory of the linear equations which is about the unknown four variables functions with constant coefficients.…

In this paper we give a complete proof of the Brumer-Stark conjecture over $\mathbf{Z}$.

We prove the Jacobian Conjecture for the space of all the inner functions in the unit disc.

We prove an iteration theorem which guarantees for a wide class of nice iterations of $\omega_1$-preserving forcings that $\omega_1$ is not collapse, at the price of needing large cardinals to burn as fuel. More precisely, we show that a…

An analog of Picard's little theorem for entire functions of matrices is proved.

This is the final article in a series of four articles. Richard Karp has proven that a deterministic polynomial time solution to K-SAT will result in a deterministic polynomial time solution to all NP-Complete problems. However, it is…

An equivalent but useful version on the Homological Nerve Theorem is proved.

In this paper, we prove that the intersection of all non-nilpotent maximal subgroups of a non-solvable group containing the normalizer of some Sylow subgroup is nilpotent, which provides an extension of Shlyk's theorem.

We prove that any type in an NIP theory can be decomposed into a stable part (a generically stable partial type) and a distal-like quotient.

We prove the following uniform version of a theorem by Lindstr\"om: Let $\mbox{$\cal F$}:=\{F_i:~ i\in I\}$ be a $k$-uniform set family of $[n]$, where $k\geq 1$. If $|\mbox{$\cal F$}|\geq n+1$, then there exist two disjoint subsets $I_1$…

We discuss the common existential theory of all or almost all completions of a global function field.

We prove a density version of the Carlson--Simpson Theorem. Specifically we show the following. For every integer $k\geq 2$ and every set $A$ of words over $k$ satisfying \[\limsup_{n\to\infty} \frac{|A\cap [k]^n|}{k^n}>0\] there exist a…

Starting with Zhang's theorem on the infinitude of prime doubles, we give an inductive argument that there exists an infinite number of prime $k$-tuples for at least one admissible set $\mathcal{H}_k=\{h_1,\ldots,h_k\}$ for each $k$.

We show that ${\mathbb Z}$ is definable in ${\mathbb Q}$ by a universal first-order formula in the language of rings. We also present an $\forall\exists$-formula for ${\mathbb Z}$ in ${\mathbb Q}$ with just one universal quantifier. We…

We prove that the NTP$_1$ property of a geometric theory $T$ is inherited by theories of lovely pairs and $H$-structures associated to $T$. We also provide a class of examples of nonsimple geometric NTP$_1$ theories.

This paper deals with $(K_1, K_2)$-quasiregular mappings. It is shown, by Morrey's Lemma and isoperimetric inequality, that every $(K_1, K_2)$-quasiregular mapping satisfies a H\"older condition with exponent $\alpha$ on compact subsets of…

A new continuity for set-valued functions is introduced, and an existence theorem is proved for such continuous set-valued functions.

We establish various properties of the p-adic algebraic K-theory of smooth algebras over perfectoid rings living over perfectoid valuation rings. In particular, the p-adic K-theory of such rings is homotopy invariant, and coincides with the…