Related papers: Existence in NSOP$_1$ theories

The Proper Forcing Axiom implies all automorphisms of every Calkin algebra associated with an infinite-dimensional complex Hilbert space and the ideal of compact operators are inner. As a means of the proof we introduce the notion of Polish…

We prove that every nontrivial cable of the figure-eight knot has infinite order in the smooth knot concordance group. Our main contribution is a uniform proof that applies to all $(2n,1)$-cables of the figure-eight knot. To this end, we…

We provide an M-theory geometric set-up to describe four-dimensional N=1 gauge theories. This is realized by a generalization of Hitchin's equation. This framework encompasses a rich class of theories including superconformal and confining…

We prove a localisation theorem for the K-theory of filtering subcategories of exact $\infty$-categories which subsumes the localisation theorem for stable $\infty$-categories, Quillen's localisation theorem for abelian categories, and…

We prove that for every finitely generated subgroup of a virtually connected Lie group which admits a finite dimensional model for the classifying space for proper actions the assembly map in algebraic K-theory is split injective. We also…

This is the third and last of three papers containing the complete proof that all finitely presented groups are QSF.

In this paper, we establish the existence and uniqueness theorem for entire solutions of Hessian equations with prescribed asymptotic behavior at infinity. This extends the previous results on Monge-Amp\`{e}re equations. Our approach also…

We present a general existence proof for a wide class of non-linear elliptic equations which can be applied to problems with barrier conditions without specifying any assumptions guaranteeing the uniqueness or local uniqueness of particular…

We show that every finite inverse monoid has an idempotent-separating cover by a finite F-inverse monoid. This provides a positive answer to a conjecture of Henckell and Rhodes.

Motivated by a question of Di Nasso, we prove that Hindman's theorem is equivalent to the existence of idempotent types in countable complete extensions of Peano Arithmetic.

We describe the possible values of $K$-theory for $C(X)$ when $X$ is a co-existentially closed continuum. As a consequence we also show that all pseudo-solenoids, except perhaps the universal one, are not co-existentially closed.

In this paper we prove a Robinson consistency theorem for a class of many-sorted hybrid logics as a consequence of an Omitting Types Theorem. An important corollary of this result is an interpolation theorem.

We prove the existence of $n$-periodic orbits for almost all $n\in\mathbb{N}$ in the R\"ossler system with attracting periodic orbit, for two sets of parameters. The proofs are computer-assisted.

In this article, we prove two "global existence and full convergence theorems" for flow lines of the M\"obius-invariant Willmore flow, and we use these results, in order to prove that fully and smoothly convergent flow lines of the…

The existence and multiplicity of positive periodic solutions for first non-autonomous singular systems are established with superlinearity or sublinearity assumptions at infinity for an appropriately chosen parameter. The proof of our…

Let $R$ be a strong $n$-coherent ring such that each finitely $n$-presented $R$-module has finite projective dimension. We consider $\mathcal{FP}_{n}(R)$ the full subcategory of $R$-Mod of finitely $n$-presented modules. We prove that…

We prove that in the graded commutative ring $K_{*}(\mathbb{S})$, all positive degree elements are multiplicatively nilpotent. The analogous statements also hold for $TC_{*}(\mathbb{S};\mathbb{Z}^{\wedge}_p)$ and $K_{*}(\mathbb{Z})$.

We search for dual gauge theories of all-loop finite, N = 1 supersymmetric gauge theories. It is shown how to find explicitly the dual gauge theories of almost all chiral, N = 1, all-loop finite gauge theories, while several models have…

Let $T$ be a consistent o-minimal theory extending the theory of densely ordered groups and let $T'$ be a consistent theory. Then there is a complete theory $T^*$ extending $T$ such that $T$ is an open core of $T^*$, but every model of…

A first-order theory $T$ is a model-complete core theory if every first-order formula is equivalent modulo $T$ to an existential positive formula; the core companion of a theory $T$ is a model-complete core theory $S$ such that every model…