# 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} }

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…

## 6 Citations

Maximal models up to the first measurable in ZFC

- Mathematics
- 2018

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

- MathematicsThe Bulletin of Symbolic Logic
- 2018

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

- Mathematics, Computer Science
- 2015

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

- Mathematics
- 2017

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

- Economics, Mathematics
- 2015

We show that various tameness assertions about abstract elementary classes imply the existence of large cardinals under mild cardinal arithmetic assumptions.

Accessible images revisited

- Mathematics
- 2015

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

- Mathematics
- 2008

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

- Mathematics
- 2002

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

- Philosophy
- 1999

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…

Examples of non-locality

- MathematicsJournal of Symbolic Logic
- 2008

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 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