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

Let G be a group and k a field of characteristic zero. We prove that if the Farrell-Jones conjecture for the K-theory of R[G] is satisfied for every smooth k-algebra R, then it is also satisfied for every commutative k-algebra R.

Based on BONGs theory, we prove the norm principle for integral and relative integral spinor norms of quadratic forms over general dyadic local fields, respectively. By virtue of these results, we further establish the arithmetic version of…

In this note we show that the nilpotence conjecture for toric varieties is true over any regular coefficient ring containing Q.

Let $G$ be a group. The subsets $A_1,\ldots,A_k$ of $G$ form a complete factorization of group $G$ if if they are pairwise disjoint and each element $g\in G$ is uniquely represented as $g=a_1\ldots a_k$, with $a_i\in A_i$. We prove the…

We give an intuitive combinatorial proof of Ky Fan's covering lemma based on the Borsuk-Ulam theorem. We then show how this approach can be generalized to Ky Fan's covering lemma for several linear orders.

In the classification of complete first-order theories, many dividing lines have been defined in order to understand the complexity and the behavior of some classes of theories. In this paper, using the concept of patterns of consistency…

We prove an analog of the Ado theorem - the existence of a finite-dimensional faithful representation - for a certain kind of finite-dimensional nilpotent Hom-Lie algebras.

We show that for any uniformly parabolic fully nonlinear second-order equation with bounded measurable "coefficients" and bounded "free" term in the whole space or in any cylindrical smooth domain with smooth boundary data one can find an…

We give several new equivalences of $NIP$ for formulas and new proofs of known results using [T87] and [HOR91]. We emphasize that Keisler measures are more complicated than types (even in $NIP$ context), in an analytic sense. Among other…

We prove a unified convergence theorem, which presents in four equivalent forms of the famous Antosik-Mikusinski Theorems. In particular, we show that Swartz' three uniform convergence principles are all equivalent to the Antosik-Mikusinski…

We develop a finite KKG-theory of C*-algebras following Arlettaz- H.Inassaridze's approach to finite algebraic K-theory. The Browder- Karoubi-Lambre's theorem on the orders of the elements for finite algebraic K-theory is extended to finite…

We show that for a global field $K$, every ring of $S$-integers has a universal first-order definition in $K$ with $10$ quantifiers. We also give a proof that every finite intersection of valuation rings of $K$ has an existential…

We present new preservation theorems that semantically characterize the $\exists^k \forall^*$ and $\forall^k \exists^*$ prefix classes of first order logic, for each natural number $k$. Unlike preservation theorems in the literature that…

We prove the existence of flips for $\mathbb Q$-factorial NQC generalized lc pairs, and the cone and contraction theorems for NQC generalized lc pairs. This answers a question of C. Birkar which was conjectured by J. Han and Z. Li. As an…

We give in the present work a new methodology that allows to give isoperimetric proofs, for Kneser's Theorem and Kemperman's structure Theory and most sophisticated results of this type. As an illustration we present a new proof of Kneser's…

We provide a proof and a counterexample to two conjectures made by N. Kuznetsov.

The main result in this paper is a non-existence Theorem of entire $Q_{n-1}$-translators in $\mathbb{R}^{n+1}$. In addition, an example of non-entire complete $Q_{n-1}$-translator has been found and a Tangential Principle for…

We prove a Model Existence Theorem for a fully infinitary logic for metric structures. This result is based on a generalization of the notions of approximate formulas and approximate truth in normed structures introduced by Henson and…

We prove the following extension of the Wiener--Wintner Theorem in Ergodic Theor and the Carleson Theorem on pointwise convergence of Fourier series: For all measure preserving flows $ (X,\mu , T_t)$ and $ f\in L^p (X,\mu)$, there is a set…

In this paper, the connections between model theory and the theory of infinite permutation groups are used to study the n-existence and the n-uniqueness for n-amalgamation problems of stable theories. We show that, for any n>1, there exists…