Related papers: When does $\aleph_1$-categoricity imply $\omega$-s…

I present a new proof of Kirchberg's $\mathcal O_2$-stable classification theorem: two separable, nuclear, stable/unital, $\mathcal O_2$-stable $C^\ast$-algebras are isomorphic if and only if their ideal lattices are order isomorphic, or…

Let K be an Abstract Elementary Class. Under the asusmptions that K has a nicely behaved forking-like notion, regular types and existence of some prime models we establish a decomposition theorem for such classes. The decomposition implies…

Let $X$ be a non-singular irreducible complex projective curve of genus $g\geq 2$. We use $(t,\ell)$-stability to prove the existence of coherent systems over $X$ that are $\alpha$-stable for all allowed $\alpha >0$.

The stability number of a graph G is the cardinality of a stability system of G (that is of a stable set of maximum size of G). A graph is alpha-stable if its stability number remains the same upon both the deletion and the addition of any…

For a fixed algebraic variety $X$, curve class $\alpha \in N_1(X)$, and genus $g \in \mathbb N$, we consider the sequence of $S_n$ representations obtained from the homology of the Kontsevich space of stable maps to $X$, $\bar…

We prove some stability results for certain classes of C*-algebras. We prove that whenever $A$ is a finite-dimensional C*-algebra, $B$ is a C*-algebra and $\phi\colon A\to B$ is approximately a $^*$-homomorphism then there is an actual…

Let $A$ be a (not necessarily unital) separable non-elementary simple amenable C*-algebra whose tracial basis may not have finite covering dimension and may not be compact but satisfies certain condition (C). We show that $A$ is ${\cal…

We develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity.

We investigate, in ZFC, the behavior of abstract elementary classes (AECs) categorical in many successive small cardinals. We prove for example that a universal $\mathbb{L}_{\omega_1, \omega}$ sentence categorical on an end segment of…

We isolate several classes of stationary sets of kappa^omega and investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets.

We show there exists a complete theory in a language of size continuum possessing a unique atomic model which is not constructible. We also show it is consistent with $ZFC + \aleph_1 < 2^{\aleph_0}$ that there is a complete theory in a…

For an abstract elementary class $\mathbf{K}$ and a cardinal $\lambda \geq LS(\mathbf{K})$, we prove under mild cardinal arithmetic assumptions, categoricity in two succesive cardinals, almost stability for $\lambda^+$-minimal types and…

In this paper we study structurally stable homoclinic classes. In a natural way, the structural stability for an individual homoclinic class is defined through the continuation of periodic points. Since the homoclinic classes is not…

Models of dependent type theories are contextual categories with some additional structure. We prove that if a theory $T$ has enough structure, then the category $T\text{-}\mathbf{Mod}$ of its models carries the structure of a model…

We construct a model in which the tree property holds in $\aleph_{\omega + 1}$ and it is destructible under $\text{Col}(\omega, \omega_1)$. On the other hand we discuss some cases in which the tree property is indestructible under small or…

We deal with the systematic development of stability for the context of approximate elementary submodels of a monster metric space, which is not far, but still very distinct from the first order case. In particular we prove the analogue of…

Lyapunov's theorem provides a foundational characterization of stable equilibrium points in dynamical systems. In this paper, we develop a framework for stability for F-coalgebras. We give two definitions for a categorical setting in which…

We prove a quantitative Sobolev inequality in cones of Bianchi-Egnell type, which implies a stability property. Our result holds for any cone as long as the minimizers of the Sobolev quotient are nondegenerate, which is the case of most…

We say that an algorithm is stable if small changes in the input result in small changes in the output. This kind of algorithm stability is particularly relevant when analyzing and visualizing time-varying data. Stability in general plays…

Stability plays a central role in arithmetic. In this article, we explain some basic ideas and present certain constructions for such studies. There are two aspects: namely, general Class Field Theories for Riemann surfaces using…