相关论文: Constructing strongly equivalent nonisomorphic mod…

We show that the theory of stable complex $G$-cobordisms, for a torus $G$, is embedded into the theory of stable complex $G$-cobordisms of not necessarily compact manifolds equipped with proper abstract moment maps. Thus the introduction of…

We show that for a number of theories $T^*$ of model-theoretic interest there is a simpler theory $T$ and $\kappa \ge \aleph_0$ such that $T^*$ is trace equivalent to the theory of $\kappa$-dimensional space over a model of $T$.

A discrete group is matricially stable if every function from the group to a complex unitary group that is "almost multiplicative" in the point-operator norm topology is "close" to a genuine unitary representation. It follows from a recent…

Given an arbitrary measurable cardinal $\kappa$, a nondiscrete Hausdorff extremally disconnected topological group of cardinality $\kappa$ is constructed.

We prove nonlinear stability for a large class of solutions to the Einstein equations with a positive cosmological constant and compact spatial topology in arbitrary dimensions, where the spatial metric is Einstein with either positive or…

This article deals with the design of saturated controls in the context of partial differential equations. It is focused on a linear Korteweg-de Vries equation, which is a mathematical model of waves on shallow water surfaces. In this…

Converse negative imaginary theorems for linear time-invariant systems are derived. In particular, we provide necessary and sufficient conditions for a feedback system to be robustly stable against various types of negative imaginary (NI)…

Let Z denote the simple limit of prime dimension drop algebras that has a unique tracial state. Let A != 0 be a unital C^*-algebra with A = A tensor Z. Then the homotopy groups of the group U(A) of unitaries in A are stable invariants,…

In this article we give a new proof of Ng\^o's Geometric Stabilisation Theorem, which implies the Fundamental Lemma. This is a statement which relates the cohomology of Hitchin fibres for a quasi-split reductive group scheme $G$ to the…

We prove that the theory of the models constructible using finitely many cofinality quantifiers - $C_{\lambda_{1},...,\lambda_{n}}^{*}$ and $C_{<\lambda_{1},...,<\lambda_{n}}^{*}$ for $\lambda_{1},...,\lambda_{n}$ regular cardinals - is…

We derive a conditional variational principle of the saturated set for systems with the non-uniform structure. Our result applies to a broad class of systems including beta-shifts, S-gap shifts and their factors.

Superparticle models with $OSp(N|2)$ supersymmetry group are studied. We first consider the $N=4$ case and construct the models with $\kappa$-symmetry on the coset spaces of the $OSp(4|2)$ supergroup. In addition, within the canonical…

We study when a union of saturated models is saturated in the framework of tame abstract elementary classes (AECs) with amalgamation. We prove: $\mathbf{Theorem}$ If $K$ is a tame AEC with amalgamation satisfying a natural definition of…

We develop Descriptive Set Theory in Generalized Baire Spaces without assuming $\kappa^{<\kappa}=\kappa$. We point out that without this assumption the basic topological concepts of these spaces have to be slightly modified in order to…

Across many scientific domains, practitioners rely on coarse, discretized summaries to track the evolving structure of complex systems under noise, measurement error, and changing system size. Understanding when such summaries are reliable…

We introduce the {\em $\mu$-topological stability}. This is a type of stability depending on the measure $\mu$ different from the set-valued approach \cite{lm}. We prove that the map $f$ is $m_p$-topologically stable if and only if $p$ is a…

We study model theoretic tree properties ($\text{TP}, \text{TP}_1, \text{TP}_2$) and their associated cardinal invariants ($\kappa_{\text{cdt}}, \kappa_{\text{sct}}, \kappa_{\text{inp}}$, respectively). In particular, we obtain a…

Our aim is to prove that if T is a complete first order theory, which is not superstable (no knowledge on this notion is required), included in a theory T_1 then for any lambda > |T_1| there are 2^lambda models of T_1 such that for any two…

Super-stability and strong stability are properties of a matching in the stable matching problem with ties. In this paper, we introduce a common generalization of super-stability and strong stability, which we call non-uniform stability.…

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.