Related papers: Abstract elementary classes stable in $\aleph_0$

Let K be an Abstract Elemenetary Class satisfying the amalgamation and the joint embedding property, let \mu be the Hanf number of K. Suppose K is tame. MAIN COROLLARY: (ZFC) If K is categorical in a successor cardinal bigger than…

The first-order model theory of modules has been studied for decades. More recently, the model theoretic study of nonelementary classes of modules--especially Abstract Elementary Classes of modules--has produced interesting results. This…

We introduce the notion of pseudo-algebraicity to study atomic models of first order theories (equivalently models of a complete sentence of $L_{\omega_1,\omega}$. Theorem: Let $T$ be any complete first-order theory in a countable language…

We combine two approaches to the study of classification theory of AECs: 1. that of Shelah: studying non-forking frames without assuming the amalgamation property but assuming the existence of uniqueness triples and 2. that of Grossberg and…

Our main result in this article is a compactness result which states that a noncollapsed sequence of asymptotically locally Euclidean (ALE) scalar-flat K\"ahler metrics on a minimal K\"ahler surface whose K\"ahler classes stay in a compact…

Assuming the existence of a monster model, tameness and continuity of nonsplitting in an abstract elementary class (AEC), we extend known superstability results: let $\mu>LS({\bf K})$ be a regular stability cardinal and let $\chi$ be the…

We study uniqueness of limit models in abstract elementary classes (AECs) with no maximal models. We prove (assuming instances of diamonds) that categoricity in a cardinal of the form $\mu^{+(n + 1)}$ implies the uniqueness of limit models…

Let K be an abstract elementary classes which has arbitrarily large models and satisfies the amalgamation and joint embedding properties. Theorem 1. Suppose K is \chi-tame. If K is categorical in some \lambda^+ >LS(K) then it is categorical…

We give a survey of the known connections between regularity conditions and amenability conditions in the setting of uniform algebras. For a uniform algebra $A$ we consider the set, $A_{lc}$, of functions in $A$ which are locally constant…

We define a bounded cohomology class, called the {\em median class}, in the second bounded cohomology -- with appropriate coefficients --of the automorphism group of a finite dimensional CAT(0) cube complex X. The median class of X behaves…

We show that every deconstructible class of modules with all embeddings, all pure embedding and all RD-embeddings is stable. The argument is presented in the context of abstract classes of modules without amalgamation and the key idea is to…

The classes stable, simple and NSOP$_1$ in the stability hierarchy for first-order theories can be characterised by the existence of a certain independence relation. For each of them there is a canonicity theorem: there can be at most one…

We present several new model-theoretic applications of the fact that, under the assumption that there exists a proper class of almost strongly compact cardinals, the powerful image of any accessible functor is accessible. In particular, we…

Skew algebroid is a natural generalization of the concept of Lie algebroid. In this paper, for a skew algebroid E, its modular class mod(E) is defined in the classical as well as in the supergeometric formulation. It is proved that there is…

We apply, in the context of semigroups, the main theorem from~\cite{higjac} that an elementary class $\mathcal{C}$ of algebras which is closed under the taking of direct products and homomorphic images is defined by systems of equations. We…

In the affine fragment of continuous logic, type spaces are compact convex sets. I study some model theoretic properties of extreme types. It is proved that every complete theory $T$ has an extremal model, i.e. a model which realizes only…

This theoretical paper discusses microscopic models giving rise to special types of order in which conduction electrons are bound together with localized spins to create composite order parameters. It is shown that composite order is…

We give a presentation theorem for continuous first-order logic and Metric Abstract Elementary classes in terms of $L_{\omega_1, \omega}$ and Abstract Elementary Classes, respectively. This presentation is accomplished by analyzing dense…

In this paper we give characterizations of the super-stable theories, in terms of an external property called representation. In the sense of the representation property, the mentioned class of first-order theories can be regarded as "not…

A theorem of Elekes and Szab\'{o} recognizes algebraic groups among certain complex algebraic varieties with maximal size intersections with finite grids. We establish a generalization to relations of any arity and dimension, definable in:…