John Baldwin, David Kueker, Monica VanDieren
Grossberg and VanDieren have started a program to develop a stability theory for tame classes. We prove, for instance, that for tame abstract elementary classes satisfying the amlagamation property and for large enough cardinals kappa, stability in kappa implies stability in kappa^{+n} for each natural number n.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this paper, we study a stability transfer theorem in d-tame Metric Abstract Elementary classes, in a similar way as in [BaKuVa], but using superstability-like assumptions which involves a new independence notion (Tame Independence) instead of $\aleph_0$-locality.
In this paper, we prove that if $κ$ is a almost strongly compact cardinal, then any MAEC with Löwenheim-Skolem number below $κ$ is $<κ$-d-tame.
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 χ-tame. If K is categorical in some λ^+ >LS(K) then it is categorical in all μ\geq (λ+χ)^+. Theorem 2. If K is LS(K)-tame and is categorical both in LS(K) and in LS(K)^+ then K is categorical in all μ\geq LS(K).
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 stability results in this context. We assume that $\K$ is a tame abstract elementary class satisfying the amalgamation property with no maximal model. The main results include: (1) Galois-stability above the Hanf number implies that κ(K) is less than the Hanf number. Where κ(K) is the parallel of \kapppa(T) for f.o. T. (2) We use (1) to construct Morley sequences (for non-splitting) improving previo…
Let K be an Abstract Elemenetary Class satisfying the amalgamation and the joint embedding property, let μbe the Hanf number of K. Suppose K is tame. MAIN COROLLARY: (ZFC) If K is categorical in a successor cardinal bigger than \beth_{(2^μ)^+} then K is categorical in all cardinals greater than \beth_{(2^μ)^+}. This is an improvment of a Theorem of Makkai and Shelah ([Sh285] who used a strongly compact cardinal for the same conclusion) and Shelah's downward categoricity theorem for AECs with amalgamation (from [Sh394]).
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 theory for them have been made. Abstract independence relations such as Shelah's good frames have been found to be key objects. Several new categoricity transfers have been obtained. We survey these developments using the following result (due to the second author) as our guiding thread: $\mathbf{Theorem}$ If a universal class is categorical in cardinals of arbitrarily high cofinality, then it is catego…
We introduce a family of rank functions and related notions of total transcendence for Galois types in abstract elementary classes. We focus, in particular, on abstract elementary classes satisfying the condition know as tameness (currently suspected to be a necessary condition for the development of a reasonable classification theory) where the connections between stability and total transcendence are most evident. As a byproduct, we obtain a partial upward stability transfer result for tame abstract elementary classes stable in a cardinal lambda satisfying lambda^{aleph_0}, a substantial gen…
In this paper we address a problem posed by Shelah in 1999 to find a suitable notion for superstability for abstract elementary classes in which limit models of cardinality $μ$ are saturated. Theorem 1. Suppose that $\mathcal{K}$ is a $χ$-tame abstract elementary class with no maximal models satisfying the joint embedding property and the amalgamation property. Suppose $μ$ is a cardinal with $μ\geq\beth_{(2^{LS(\mathcal{K})+χ})^+}$. Let $M$ be a model of cardinality $μ$. If $\mathcal{K}$ is both $χ$-stable and $μ$-stable and satisfies the $μ$-superstability assumptions, then any two $μ$-limit …
The assumption that an AEC is tame is a powerful assumption permitting development of stability theory for AECs with the amalgamation property. Lately several upward categoricity theorems were discovered where tameness replaces strong set-theoretic assumptions. We present in this article two sufficient conditions for tameness, both in form of strong amalgamation properties that occur in nature. One of them was used recently to prove that several Hrushovski classes are tame. This is done by introducing the property of weak $(μ,n)$-uniqueness which makes sense for all AECs (unlike Shelah's origi…
We initiate a systematic investigation of the abstract elementary classes that have amalgamation, satisfy tameness (a locality property for orbital types), and are stable (in terms of the number of orbital types) in some cardinal. Assuming the singular cardinal hypothesis (SCH), we prove a full characterization of the (high-enough) stability cardinals, and connect the stability spectrum with the behavior of saturated models. We deduce (in ZFC) that if a class is stable on a tail of cardinals, then it has no long splitting chains (the converse is known). This indicates that there is a clear not…
We show that various tameness assertions about abstract elementary classes imply the existence of large cardinals under mild cardinal arithmetic assumptions.
Examples of non-tame abstract elementary classes of abelian groups
本文构造了非 tame 的交换群抽象初级类，展示了其在不同可数基数下的特性，回答了相关问题并提供了首个自然语言中的非 tame 抽象初级类例子。
In the context of abstract elementary classes (AECs) with a monster model, several possible definitions of superstability have appeared in the literature. Among them are no long splitting chains, uniqueness of limit models, and solvability. Under the assumption that the class is tame and stable, we show that (asymptotically) no long splitting chains implies solvability and uniqueness of limit models implies no long splitting chains. Using known implications, we can then conclude that all the previously-mentioned definitions (and more) are equivalent: $\mathbf{Corollary}$ Let $K$ be a tame AEC …
We develop a notion of forking for Galois-types in the context of Abstract Elementary Classes (AECs). Under the hypotheses that an AEC $K$ is tame, type-short, and failure of an order-property, we consider {\bf Definition.} Let $M_0 \prec N$ be models from $K$ and $A$ be a set. We say that the Galois-type of $A$ over $M$ \emph{does not fork over $M_0$} iff for all small $a \in A$ and all small $N^- \prec N$, we have that Galois-type of $a$ over $N^-$ is realized in $M_0$. Assuming property (E) (see Definition 3.3) we show that this non-forking is a well behaved notion of independence, in parti…
We broaden the framework of metric abstract elementary classes (mAECs) in several essential ways, chiefly by allowing the metric to take values in a well-behaved quantale. As a proof of concept we show that the result of Boney and Zambrano on (metric) tameness under a large cardinal assumption holds in this more general context. We briefly consider a further generalization to partial metric spaces, and hint at connections to classes of fuzzy structures, and structures on sheaves.
Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics
该论文研究抽象逻辑的上向Löwenheim-Skolem-Tarski数，证明二阶逻辑的ULST数是最小可扩展基数，并引入强ULST数及新大基数概念刻画多种强逻辑。
This paper is part of a program initiated by Saharon Shelah to extend the model theory of first order logic to the non-elementary setting of abstract elementary classes (AECs). An abstract elementary class is a semantic generalization of the class of models of a complete first order theory with the elementary substructure relation. We examine the symmetry property of splitting (previously isolated by the first author) in AECs with amalgamation that satisfy a local definition of superstability. The key results are a downward transfer of symmetry and a deduction of symmetry from failure of the o…
We study classes of right-angled Coxeter groups with respect to the strong submodel relation of parabolic subgroup. We show that the class of all right-angled Coxeter group is not smooth, and establish some general combinatorial criteria for such classes to be abstract elementary classes, for them to be finitary, and for them to be tame. We further prove two combinatorial conditions ensuring the strong rigidity of a right-angled Coxeter group of arbitrary rank. The combination of these results translate into a machinery to build concrete examples of $\mathrm{AECs}$ satisfying given model-theor…
We study general methods to build forking-like notions in the framework of tame abstract elementary classes (AECs) with amalgamation. We show that whenever such classes are categorical in a high-enough cardinal, they admit a good frame: a forking-like notion for types of singleton elements. $\mathbf{Theorem}$ (Superstability from categoricity) Let $K$ be a $(<κ)$-tame AEC with amalgamation. If $κ= \beth_κ> \text{LS} (K)$ and $K$ is categorical in a $λ> κ$, then: * $K$ is stable in all cardinals $\ge κ$. * $K$ is categorical in $κ$. * There is a type-full good $λ$-frame with underlying class $K…
$μ$-abstract elementary classes of modules
研究R-模的μ-抽象初等类，通过句法假设证明相关稳定性，应用于具体μ-AEC如$(R-Mod, \leq_{pp}^\mu)$等，还研究了$(K, \leq_\oplus)$形式的μ-AEC，给出抽象模类稳定的充分条件。
$\mathbf{Theorem.}$ Let $K$ be an abstract elementary class (AEC) with amalgamation and no maximal models. Let $λ> \text{LS} (K)$. If $K$ is categorical in $λ$, then the model of cardinality $λ$ is Galois-saturated. This answers a question asked independently by Baldwin and Shelah. We deduce several corollaries: $K$ has a unique limit model in each cardinal below $λ$, (when $λ$ is big-enough) $K$ is weakly tame below $λ$, and the thresholds of several existing categoricity transfers can be improved. We also prove a downward transfer of solvability (a version of superstability introduced by She…
On Stability and Existence of Models in Abstract Elementary Classes
本文在抽象初等类框架下证明，在温和基数算术与范畴性等条件下，λ中的稳定性等价于λ++中存在模型，并在不假设融合性或任意大模型的情况下得到弱融合与驯服抽象初等类的范畴性定理。
Our main result (Theorem 1) suggests a possible dividing line ($μ$-superstable $+$ $μ$-symmetric) for abstract elementary classes without using extra set-theoretic assumptions or tameness. This theorem illuminates the structural side of such a dividing line. Theoerem 1: Let $\mathcal{K}$ be an abstract elementary class with no maximal models of cardinality $μ^+$ which satisfies the joint embedding and amalgamation properties. Suppose $μ\geq LS(\mathcal{K})$. If $\mathcal{K}$ is $μ$- and $μ^+$-superstable and satisfies $μ^+$-symmetry, then for any increasing sequence $\langle M_i\in\mathcal{K}_…
We introduce a new device in the study of abstract elementary classes (AECs): Galois Morleyization, which consists in expanding the models of the class with a relation for every Galois type of length less than a fixed cardinal $κ$. We show: $\mathbf{Theorem}$ (The semantic-syntactic correspondence) An AEC $K$ is fully $(<κ)$-tame and type short if and only if Galois types are syntactic in the Galois Morleyization. This exhibits a correspondence between AECs and the syntactic framework of stability theory inside a model. We use the correspondence to make progress on the stability theory of tame…
On the problem of stability of abstract elementary classes of modules
本文研究了抽象素数类模的稳定性问题，通过构造不稳定例子否定了一个开放问题，并引入了几乎稳定性概念，证明在特定条件下抽象素数类模的稳定性。
In this paper, we apply results of \cite{Va3} and use towers to transfer symmetry from $μ^+$ down to $μ$ in superstable abstract elementary classes without using extra set-theoretic assumptions or tameness. Theorem. Suppose $\mathcal{K}$ is an abstract elementary class satisfying the amalgamation and joint embedding properties and that $\mathcal{K}$ is both $μ$- and $μ^+$-superstable. If $\mathcal{K}$ has symmetry for non-$μ^+$-splitting, then $\mathcal{K}$ has symmetry for non-$μ$-splitting. This is a new application of towers which were introduced by Shelah and Villaveces \cite{ShVi} and lat…
Let K be an abstract elementary class satisfying the joint embedding and the amalgamation properties. Let m be a cardinal above the the Löwenheim-Skolem number of the class. Suppose K satisfies the disjoint amalgamation property for limit models of cardinality m. If K is m-Galois-stable, has no m-Vaughtian Pairs, does not have long splitting chains, and satisfies locality of splitting, for the precise description of long splitting chains and locality}, then any two (m,sigma_i)-limits over M for (i in {1,2}) are isomorphic over M. This theorem extends results of Shelah, Kolman and Shelah, and S…
On the Model Theory of Second-Order Objects
本文提出抽象初等团队范畴框架，用于研究集合和关系等二阶对象，并证明FOT逻辑满足林斯特罗姆定理，同时证明存在二阶逻辑中不同基数间分类性的转移结果。
We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We exhibit a number of natural correspondences between the model-theoretic properties of classes and their constituent models and the topological properties of the associated spaces. Tameness of Galois types, in particular, emerges as a topological separation principle.
An unstable abstract elementary class of modules: A variation of Paolini-Shelah's example
本文构造了一个无 torsion 自由交换群的类，展示了一个不稳定的抽象初等类，具有有限的 LS 值，但不满足 amalgamation 属性。
We show that a number of results on abstract elementary classes (AECs) hold in accessible categories with concrete directed colimits. In particular, we prove a generalization of a recent result of Boney on tameness under a large cardinal assumption. We also show that such categories support a robust version of the Ehrenfeucht-Mostowski construction. This analysis has the added benefit of producing a purely language-free characterization of AECs, and highlights the precise role played by the coherence axiom.
The lattice of abstract elementary classes of modules
本文研究环 $R$ 上以 $R$-模类为底层的抽象初等类构成的格 $\mathscr{L}_{R}$，分析其格论性质、纯性上下的子格，特殊化到整数环时还得到了该格的若干具体性质。
Limit Models in Strictly Stable Abstract Elementary Classes
研究稳定但非超稳定抽象初等类中极限模型的唯一性，在无温顺性假设下，利用非分裂的局部性、连续性与对称性证明不同共尾性的极限模型可在基模型上同构。
We prove: Main Theorem: Let $\mathcal{K}$ be an abstract elementary class satisfying the joint embedding and the amalgamation properties with no maximal models of cardinality $μ$. Let $μ$ be a cardinal above the the Löwenheim-Skolem number of the class. If $\mathcal{K}$ is $μ$-Galois-stable, has no $μ$-Vaughtian Pairs, does not have long splitting chains, and satisfies locality of splitting, then any two $(μ,σ_\ell)$-limits over $M$, for $\ell\in\{1,2\}$, are isomorphic over $M$. This theorem extends results of Shelah from \cite{Sh394}, \cite{Sh576}, \cite{Sh600}, Kolman and Shelah in \cite{Ko…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。