相关论文: The Diversity of Minimal Cofinal Extensions

We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our…

We study invariant types in NIP theories. Amongst other things: we prove a definable version of the (p,q)-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of M-invariant types to that…

The irreducible decomposition of a unitary representation often contains continuous spectrum when restricted to a non-compact subgroup. The author singles out a nice class of branching problems where each irreducible summand occurs…

Fixed points of $N$ coupled Virasoro minimal models have recently been argued to provide large classes of compact unitary CFTs with $c>1$ and only Virasoro chiral symmetry. In this paper, we vastly increase the set of such potential…

The theory of algebraic extensions of Banach algebras is well established, and there are many constructions which yield interesting extensions. In particular, Cole's method for extending uniform algebras by adding square roots of functions…

We prove that the cohomology groups of a definably compact set over an o-minimal expansion of a group are finitely generated and invariant under elementary extensions and expansions of the language. We also study the cohomology of the…

Alternating bilinear maps with few relations allow to define a combinatorial closure similarly as in [2]. For the $\aleph_0$-categorical case we show that this closure is part of the algebraic closure.

We prove that for any two closed Riemannian manifolds $M^{2m}$ ($m\geq 1$) and $N$, there exists a minimizing (extrinsic) $m$-polyharmonic map for every free homotopy class in $[M^{2m}, N]$, provided that the homotopy group $\pi_{2m}(N)$ is…

Subexponential logic is a variant of linear logic with a family of exponential connectives--called subexponentials--that are indexed and arranged in a pre-order. Each subexponential has or lacks associated structural properties of weakening…

Consider a linear ordering equipped with a finite sequence of monadic predicates. If the ordering contains an interval of order type \omega or -\omega, and the monadic second-order theory of the combined structure is decidable, there exists…

Type two cuts, bad cuts and very bad cuts are introduced by Keisler and Leth for studying the relationship between Loeb measure and U-topology of a hyperfinite time line in an $\omega_1$-saturated nonstandard universe. The questions…

For a based manifold (M,*), the question of whether the surjection Diff(M,*) \rightarrow \pi_0 Diff(M,*) admits a section is an example of a Nielsen realization problem. This question is related to a question about flat connections on…

We initiate an investigation of structures on the set of real numbers having the property that path components of definable sets are definable. All o\nobreakdash-\hspace{0pt}minimal structures on $(\mathbb{R},<)$ have the property, as do…

The use of nonstandard methods to characterize properties of weak, strong and mixed extensions of congruences to ultrafilters has been the main topic of several recent papers. We show that similar methods can be used to characterize the…

The totally-real embeddability of any $2k$-dimensional compact manifold $M$ into $\mathbb C^n$, $n\geq 3k$, has several consequences: the genericity of polynomially convex embeddings of $M$ into $\mathbb C^n$, the existence of $n$ smooth…

Let $K$ be an algebraically closed field and let $M_n(K)$ denote the algebra of $n\times n$ matrices over $K$. A classical problem asks for the minimal possible dimension of a maximal commutative subalgebra $A \subseteq M_n(K)$. We…

We construct M-theory curves associated with brane configurations of SU(N), SO(N) and $Sp(2N)$ 5d supersymmetric gauge theories compactified on a circle. From the curves we can account for all the existing different SU(N) field theories…

The class of minimal non-elementary Lie algebras over a field F are studied. These are classified when F is algebraically closed and of characteristic different from 2,3. The solvable algebras in this class are also characterised over any…

If a Peano continuum $X$ is semilocally simply connected, then it has a finite polyhedral approximation whose fundamental group is isomorphic to that of $X$. In general, this fails to be true. It is known that the fundamental group of a…

Let $A$ be an amenable separable \CA and $B$ be a non-unital but $\sigma$-unital simple \CA with continuous scale. We show that two essential extensions $\tau_1$ and $\tau_2$ of $A$ by $B$ are approximately unitarily equivalent if and only…