• Corpus ID: 15822902

Maximal failures of sequence locality in a.e.c

@article{Shelah2009MaximalFO,
  title={Maximal failures of sequence locality in a.e.c},
  author={Saharon Shelah},
  journal={arXiv: Logic},
  year={2009}
}
  • S. Shelah
  • Published 20 March 2009
  • Mathematics, Biology
  • arXiv: Logic
We are interested in examples of a.e.c. with amalgamation having some (extreme) behaviour concerning types. Note we deal with k being sequence-local, i.e. local for increasing chains of length a regular cardinal (for types, equality of all restrictions imply equality). . For any cardinal theta>= aleph_0 we construct an a.e.c. with amalgamation k with L.S.T.(k) = theta, |tau_K| = theta such that {kappa : kappa is a regular cardinal and K is not (2^kappa, kappa)-sequence-local} is maximal. In… 
Maximal models up to the first measurable in ZFC
Theorem: There is a complete sentence φ of Lω1,ω such that φ has maximal models in a set of cardinals λ that is cofinal in the first measurable μ while φ has no maximal models in any χ ≥ μ. In this
Advances in Classification Theory for Abstract Elementary Classes
  • Will Boney
  • Mathematics
    The Bulletin of Symbolic Logic
  • 2018
TLDR
The number of types of sequences of tuples of a fixed length can be calculated from the number of 1-types and the length of the sequences.
Hanf Numbers and Presentation Theorems in AECs
We prove that a strongly compact cardinal is an upper bound for a Hanf number for amalgamation, etc. in AECs using both semantic and syntactic methods. To syntactically prove non-disjoint
Beyond First Order Model Theory
We consider model-theoretic properties related to the expressive power of three analogues of Lω1,ω for metric structures. We give an example showing that one of these infinitary logics is strictly
Large Cardinal Axioms from Tameness in AECs
We show that various tameness assertions about abstract elementary classes imply the existence of large cardinals under mild cardinal arithmetic assumptions.
Accessible images revisited
TLDR
The result of Makkai and Pare that the powerful image of any accessible functor is accessible, assuming there exists a sufficiently large strongly compact cardinal is extended and improved.

References

SHOWING 1-10 OF 16 REFERENCES
Categoricity and solvability of A.E.C., quite highly
We investigate in ZFC what can be the family of large enough cardinals mu in which an a.e.c. K is categorical or even just solvable. We show that for not few cardinals lambda<mu there is a superlimit
Classification theory for abstract elementary classes
In this paper some of the basics of classification theory for abstract elementary classes are discussed. Instead of working with types which are sets of formulas (in the first-order case) we deal
ON WHAT I DO NOT UNDERSTAND (AND HAVE SOMETHING TO SAY), MODEL THEORY
This is a non-standard paper, containing some problems, mainly in model theory, which I have, in various degrees, been interested in. Sometimes with a discussion on what I have to say; sometimes, of
Finite diagrams stable in power
Examples of non-locality
TLDR
It is concluded that for A EC which admit intersections, the amalgamation property can have no positive effect on locality: there is a transformation of AEC's which preserves non-locality but takes any AEC which admits intersections to one with amalgamation.
Classification of non elementary classes II abstract elementary classes
Classification of nonelementary classes. II. Abstract elementary classes, Classification theory
  • Proceedings of the USA–Israel Conference on Classification Theory
  • 1985
Classification theory (Chicago, IL, 1985), volume 1292 of Lecture Notes in Mathematics, pages 264–418
  • Proceedings of the USA–Israel Conference on Classification Theory, Chicago,
  • 1987
Abstract elementary classes near ℵ 1 , Chapter I. 0705.4137. 0705.4137. [Sh:88b] , Classification of nonelementary classes. II. Abstract elementary classes, Classification theory
  • Lecture Notes in Mathematics Proceedings of the USA–Israel Conference on Classification Theory
  • 1985
Sh:734] , Categoricity and solvability of A.E.C., quite highly, preprint
  • Sh:734] , Categoricity and solvability of A.E.C., quite highly, preprint
...
...