Hostname: page-component-586b7cd67f-r5fsc Total loading time: 0 Render date: 2024-11-29T23:22:09.812Z Has data issue: false hasContentIssue false
  • English
  • Français

METRIC ABSTRACT ELEMENTARY CLASSES AS ACCESSIBLE CATEGORIES

Published online by Cambridge University Press:  08 May 2017

M. LIEBERMAN  and
J. ROSICKÝ
M. LIEBERMAN
Affiliation:
DEPARTMENT OF MATHEMATICS AND STATISTICS FACULTY OF SCIENCES, MASARYK UNIVERSITY KOTLÁŘSKÁ 2, 611 37 BRNO, CZECH REPUBLICE-mail: [email protected]
J. ROSICKÝ
Affiliation:
DEPARTMENT OF MATHEMATICS AND STATISTICS FACULTY OF SCIENCES, MASARYK UNIVERSITY KOTLÁŘSKÁ 2, 611 37 BRNO, CZECH REPUBLICE-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

We show that metric abstract elementary classes (mAECs) are, in the sense of [15], coherent accessible categories with directed colimits, with concrete ℵ1-directed colimits and concrete monomorphisms. More broadly, we define a notion of κ-concrete AEC—an AEC-like category in which only the κ-directed colimits need be concrete—and develop the theory of such categories, beginning with a category-theoretic analogue of Shelah’s Presentation Theorem and a proof of the existence of an Ehrenfeucht–Mostowski functor in case the category is large. For mAECs in particular, arguments refining those in [15] yield a proof that any categorical mAEC is μ-d-stable in many cardinals below the categoricity cardinal.

Keywords

03C9503C4803C45abstract model theorymetric abstract elementary classaccessible categoryGalois typesmetric stability
Type
Articles
Information
The Journal of Symbolic Logic , Volume 82 , Issue 3 , September 2017 , pp. 1022 - 1040
Copyright
Copyright © The Association for Symbolic Logic 2017 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Ackerman, N., Completeness in generalized ultrametric spaces . P-Adic Numbers Ultrametric Analysis and Applications, vol. 5 (2013), no. 1, pp. 89–105.Google Scholar
Adámek, J. and Rosický, J., Locally Presentable and Accessible Categories, Cambridge University Press, Cambridge, 1994.Google Scholar
Baldwin, J., Categoricity, American Mathematical Society, Providence, 2009.Google Scholar
Baldwin, J., Ehrenfeucht-Mostowski models in abstract elementary classes , Logic and its Applications (Zhang, Y. and Blass, A., editors), Contemporary Mathematics, vol. 380, American Mathematical Society, Providence, 2005, pp. 1–17.Google Scholar
Beke, T. and Rosický, J., Abstract elementary classes and accessible categories . Annals of Pure and Applied Logic, vol. 163 (2012), pp. 2008–2017.CrossRefGoogle Scholar
Boney, W., Tameness from large cardinal axioms , this Journal, vol. 79 (2014), no. 4, pp. 1092–1119.Google Scholar
Boney, W., A presentation theorem for continuous logic and metric abstract elementary classes , arXiv:1408.3624.Google Scholar
Boney, W., Grossberg, R., Lieberman, M., Rosický, J., and Vasey, S., μ-Abstract Elementary Classes and other generalizations . Journal of Pure and Applied Algebra, vol. 220 (2016), pp. 3048–3066.Google Scholar
Garner, R. and Lack, S., Grothendieck quasitoposes . Journal of Algebra, vol. 355 (2012), pp. 111–126.Google Scholar
Hirvonen, A. and Hyttinen, T., Categoricity in homogeneous complete metric spaces . Archive of Mathematical Logic, vol. 48 (2009), pp. 269–322.CrossRefGoogle Scholar
Henson, C. and Iovino, J.. Ultraproducts in analysis , Analysis and Logic (Mons, 1997), London Mathematical Society Lecture Note Series, vol. 262, Cambridge University Press, Cambridge, 2002, pp. 1–110.Google Scholar
Kirby, J., Abstract elementary categories, preprint, 2008.Google Scholar
Lieberman, M., Category theoretic aspects of abstract elementary classes . Annals of Pure and Applied Logic, vol. 162 (2011), pp. 903–915.CrossRefGoogle Scholar
Lieberman, M., A topology for types in abstract elementary classes . Mathematical Logic Quarterly, vol. 57 (2011), no. 2, pp. 204–216.Google Scholar
Lieberman, M. and Rosický, J., Classification theory for accessible categories , this Journal, vol. 81 (2016), no. 1, pp. 151–165.Google Scholar
Makkai, M. and Paré, R., Accessible Categories: The Foundations of Categorical Model Theory, American Mathematical Society, Providence, 1989.Google Scholar
Priess-Crampe, S. and Ribenboim, P., Generalized ultrametric spaces I . Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, vol. 66 (1966), pp. 55–73.Google Scholar
Rosický, J., Accessible categories, saturation and categoricity , this Journal, vol. 62 (1997), pp. 891–901.Google Scholar
Vasey, S., Infinitary stability theory . Archive for Mathematical Logic, vol. 55 (2016), pp. 562–592.Google Scholar
Villaveces, A. and Zambrano, P., Limit models in metric abstract elementary classes: The categorical case , arXiv:1304.6797.Google Scholar
Zambrano, P., Around superstability in metric abstract elementary classes, Ph.D. thesis, Universidad Nacional de Colombia, 2011.Google Scholar