Symmetry in abstract elementary classes with amalgamation release_4c2gtzdkzvgrhjiv7jw3p5ph3y

by Monica M. VanDieren, Sebastien Vasey

Released as a article .

2015  

Abstract

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 order property. These results are then used to prove several structural properties in categorical AECs, improving classical results of Shelah who focused on the special case of categoricity in a successor cardinal. We also study the interaction of symmetry with tameness, a locality property for Galois (orbital) types. We show that superstability and tameness together imply symmetry. This sharpens previous work of Boney and the second author.
In text/plain format

Archived Files and Locations

application/pdf  323.7 kB
file_dooegdyobzhf7jbhkwsomwnyoe
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2015-08-20
Version   v2
Language   en ?
arXiv  1508.03252v2
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: a474764c-b44a-4b4b-b90d-8f27b23d3dd1
API URL: JSON