'bottom'N as an abstract elementary class

@article{Baldwin2007bottomNAA,
  title={'bottom'N as an abstract elementary class},
  author={John T. Baldwin and Paul C. Eklof and Jan Trlifaj},
  journal={Ann. Pure Appl. Log.},
  year={2007},
  volume={149},
  pages={25-39}
}
Abstract elementary classes induced by tilting and cotilting modules have finite character
Let R be a ring and C be a cotilting class of R- modules. Define A < B by A C B and A, B, B/A ∈ C. Then (C, <) is an abstract elementary class of finite character. An analogous result holds for all
Accessible categories, set theory, and model theory: an invitation
We give a self-contained introduction to accessible categories and how they shed light on both model- and set-theoretic questions. We survey for example recent developments on the study of
A survey on tame abstract elementary classes
Tame abstract elementary classes are a broad nonelementary framework for model theory that encompasses several examples of interest. In recent years, progress toward developing a classification
A topology for galois types in abstract elementary classes
TLDR
A number of natural correspondences are exhibited between the model-theoretic properties of classes and their constituent models and the topological properties of the associated spaces and Tameness of Galois types emerges as a topological separation principle.
On universal modules with pure embeddings
TLDR
It is shown that certain classes of modules have universal models with respect to pure embeddings, and limit models of countable cofinality in the class of torsion-free abelian groups with pure embedDings are characterized.
CELLULAR CATEGORIES AND STABLE INDEPENDENCE
We exhibit a bridge between the theory of cellular categories, used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show
Kaplansky classes, finite character and ℵ1-projectivity
Abstract. Kaplansky classes emerged in the context of Enochs' solution of the Flat Cover Conjecture. Their connection to abstract model theory goes back to Baldwin et al.: a class of roots of Ext is
...
...

References

SHOWING 1-10 OF 15 REFERENCES
Categoricity for Abstract Classes with Amalgamation
Locally presentable and accessible categories
The concepts of a locally presentable category and an accessible category have turned out to be extremely useful in formulating connections between universal algebra, model theory, logic and computer
Model theory and modules
Abstract The model-theoretic investigation of modules has led to ideas, techniques and results which are of algebraic interest, irrespective of their model-theoretic significance. It is these aspects
Galois-stability for Tame Abstract Elementary Classes
We introduce tame abstract elementary classes as a generalization of all cases of abstract elementary classes that are known to permit development of stability-like theory. In this paper, we explore
Approximations and Endomorphism Algebras of Modules
The category of all modules over a general associative ring is too complex to admit any reasonable classification. Thus, unless the ring is of finite representation type, one must limit attempts at
Covers Induced by Ext
Abstract We prove a generalization of the flat cover conjecture by showing for any ring R that (1) each (right R-) module has a Ker Ext(−,  C )-cover, for any class of pure-injective modules C , and
Commutative Ring Theory
Preface Introduction Conventions and terminology 1. Commutative rings and modules 2. prime ideals 3. Properties of extension rings 4. Valuation rings 5. Dimension theory 6. Regular sequences 7.
Upward Stability Transfer for Tame Abstract Elementary Classes
TLDR
This work names some variants of tameness and proves the following, which is a very strong conclusion in the countable case: K is Galois-stable in all cardinalities.
Categoricity from One Successor cardinal in Tame Abstract Elementary Classes
We prove that from categoricity in λ+ we can get categoricity in all cardinals ≥ λ+ in a χ-tame abstract elementary classe $\mathcal{K}$ which has arbitrarily large models and satisfies the
...
...