μ-Abstract elementary classes and other generalizations

被引：16

作者：

Boney, Will ^{[1
]}

Grossberg, Rami ^{[2
]}

Lieberman, Michael ^{[3
]}

Rosicky, Jiri ^{[3
]}

Vasey, Sebastien ^{[2
]}

机构：

[1] Harvard Univ, Dept Math, Cambridge, MA 02138 USA

[2] Carnegie Mellon Univ, Dept Math Sci, Pittsburgh, PA 15213 USA

[3] Masaryk Univ, Fac Sci, Dept Math & Stat, CS-61137 Brno, Czech Republic

来源：

JOURNAL OF PURE AND APPLIED ALGEBRA | 2016年 / 220卷 / 09期

基金：

美国国家科学基金会; 瑞士国家科学基金会;

关键词：

CLASSIFICATION-THEORY; UNCOUNTABLE MODELS; CATEGORICITY; SUCCESSOR; NUMBER;

D O I：

10.1016/j.jpaa.2016.02.002

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We introduce mu-Abstract Elementary Classes (mu-AECs) as a broad framework for model theory that includes complete boolean algebras and metric spaces, and begin to develop their classification theory. Moreover, we note that mu-AECs correspond precisely to accessible categories in which all morphisms are monomorphisms, and begin the process of reconciling these divergent perspectives: for example, the preliminary classification-theoretic results for mu-AECs transfer directly to accessible categories with monomorphisms. (C) 2016 Elsevier B.V. All rights reserved.

引用

页码：3048 / 3066

页数：19

共 41 条

[1] On preaccessible categories [J].

Adamek, J ;

Rosicky, J .

JOURNAL OF PURE AND APPLIED ALGEBRA, 1995, 105 (03) :225-232

[2]

Adamek J., 1994, LOCALLY PRESENTABLE

[3]

[Anonymous], 1963, THESIS COLUMBIA U

[4]

[Anonymous], PREPRINT

[5]

[Anonymous], 1944, Zenkoku Shijo Sugaku Dan-wakai

[6]

Baldwin John, 2009, CATEGORICITY U LECT

[7] ⊥N as an abstract elementary class [J].

Baldwin, John T. ;

Eklof, Paul C. ;

Trlifaj, Jan .

ANNALS OF PURE AND APPLIED LOGIC, 2007, 149 (1-3) :25-39

[8]

BARWISE K, 1985, MODEL THEORETIC LOGI

[9] Abstract elementary classes and accessible categories [J].

Beke, T. ;

Rosicky, J. .

ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (12) :2008-2017

[10] TAMENESS FROM LARGE CARDINAL AXIOMS [J].

Boney, Will .

JOURNAL OF SYMBOLIC LOGIC, 2014, 79 (04) :1092-1119

← 1 2 3 4 5 →