Categoricity,amalgamation, and tameness |
| |
Authors: | John T. Baldwin Alexei Kolesnikov |
| |
Affiliation: | (1) Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago, Chicago, IL 60680, USA;(2) Department of Mathematics, Towson University, Towson, MD 21252, USA |
| |
Abstract: | Theorem: For each 2 ≤ k < ω there is an -sentence ϕk such that (1) ϕk is categorical in μ if μ≤ℵk−2; (2) ϕk is not ℵk−2-Galois stable (3) ϕk is not categorical in any μ with μ>ℵk−2; (4) ϕk has the disjoint amalgamation property (5) For k > 2 (a) ϕk is (ℵ0, ℵk−3)-tame; indeed, syntactic first-order types determine Galois types over models of cardinality at most ℵk−3; (b) ϕk is ℵm-Galois stable for m ≤ k − 3 (c) ϕk is not (ℵk−3, ℵk−2). The first author is partially supported by NSF grant DMS-0500841. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|